On Thu, May 16, 2019 at 03:56:07PM +0200, Johannes Hirte wrote:> On 2019 Mai 15, Kees Cook wrote:> > Various stupid questions: did you wipe the whole bulid tree and start> > clean? > > No I didn't. And this fixed it now. After a distclean I'm unable to> reproduce it. So sorry for the noise.

Okay, whew! Thanks for double-checking. No worries about the noise:it wouldn't have been the first time I broke some corner case. :)