On 5/10/2022 4:51 AM, Martin Liška wrote: > On 5/10/22 11:55, Andreas Schwab wrote: >> The header line should probably be changed since it's no longer about >> ANSI or traditional C. >> > Sure, updated in v2. OK jeff