Re: Dave Page 2018-07-20 <CA+OCxoxf5u3Ovf5yahei2RG-MA3C9jQLQ5vZ3q=isG5-Upf7Mg@mail.gmail.com>
> Yes, at minimum I suspect. Does it complain if it's there on x86 Linux?
> Christoph said he needed it on non-x86 archs.
It's needed on non-x86 Linux, but does not complain on x86 (and I
think it's good style to use it there as well).
Christoph