On Mon, May 20, 2019 at 7:57 AM Christophe Lyon <christophe.lyon@linaro.org> wrote: > > Hi, > > After Martin's commit r271338, we now emit quotes around reserved > names, and some tests started to fail on aarch64 and arm. > > This should fix them, OK? Looks obvious to me. R > > Christophe