On Thu, Nov 03, 2022 at 12:40:19PM +0700, John Naylor wrote:
> On Wed, Nov 2, 2022 at 1:01 PM Julien Rouhaud <rjuju123(at)gmail(dot)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