On Thu, 9 Mar 2023, Sandra Loosemore wrote: > This is OK, but I'd like to see this patch split into two separate > commits as well -- one for the texinfo.tex import, and one for the @gol > changes.
I believe Arsen does not have git write access. Arsen, if that is indeed the case, I offer to push these two commits for you if you send them by e-mail (as two attachments). Gerald
