On Thu, Jan 11, 2018 at 02:26:06PM +0000, David CARLIER wrote: > Hi here a tiny fix proposal for the previous commit.
Hi David. That's funny, I wondered if Clang would advertise itself as gcc, possibly an old one, just to annoy us, and it seems it does :-) Thanks for the fix! Willy