On Sun, 15 Jan 2023 12:47:04 +0100, Mechtilde Stehmann <mechti...@debian.org> said:
> At upstream there is an additional line, so there it is line 16. > I also filled a patch. You can find a patch under > https://github.com/nrnrnr/noweb/pull/28/files Most of the changes look pretty straightforward, but why did you remove the "\def\nwgitversion{|GITVERSION|}" line? (Also, I'd recommend that you give your PR a more descriptive name) -- Hubert Chathi <uho...@debian.org> -- https://www.uhoreg.ca/ Jabber: hub...@uhoreg.ca -- Matrix: @uhoreg:matrix.org PGP/GnuPG key: 4096R/F24C F749 6C73 DDB8 DCB8 72DE B2DE 88D3 113A 1368
