On Tue, Aug 06, 2019 at 09:57:50AM +0200, Rainer Jung wrote:
> Thank you. It's funny, that the warning happens directly before the new
> pragma use to influence -Wcomment ...

No worries, quite a funny one indeed ;)

Reply via email to