On Thu, Nov 03, 2022 at 12:40:19PM +0700, John Naylor wrote: > On Wed, Nov 2, 2022 at 1:01 PM Julien Rouhaud <rjuju...@gmail.com> wrote: >> Agreed, it's apparently an oversight in dac048f71eb. +1 for the patch. > > I've pushed this, thanks!
Thanks for the commit. I've wanted to get it done yesterday but life took over faster than that. Before committing the change, there is something I have noticed though: this header does not seem to be necessary at all and it looks that there is nothing in guc-file.l that needs it. Why did you add it in dac048f to begin with? -- Michael
signature.asc
Description: PGP signature