If we are going to apply this patch, we should also delete https://www.gnu.org/software/findutils/manual/dvi/find.dvi.gz I suppose. Otherwise it will get very out of date.
- [PATCH 09/10] maint: update gnulib to latest Bernhard Voelker
- [PATCH 07/10] maint: help translators to disambiguate -0 ... Bernhard Voelker
- [PATCH 10/10] maint: switch from gnulib ctype to ctype-h ... Bernhard Voelker
- [PATCH 02/10] doc: clarify that POSIX Issue 8 is "IE... Bernhard Voelker
- Re: [PATCH 02/10] doc: clarify that POSIX Issue 8 is... James Youngman
- [PATCH 03/10] maint: use consistent references to standar... Bernhard Voelker
- Re: [PATCH 03/10] maint: use consistent references t... James Youngman
- [PATCH 06/10] maint: add entry to .gitignore file Bernhard Voelker
- Re: [PATCH 06/10] maint: add entry to .gitignore fil... James Youngman
- [PATCH 04/10] maint: do not produce DVI-format manual any... Bernhard Voelker
- Re: [PATCH 04/10] maint: do not produce DVI-format m... James Youngman
- Re: [PATCH 04/10] maint: do not produce DVI-form... Bernhard Voelker
- [PATCH 05/10] maint: prefer C23-style nullptr Bernhard Voelker
- Re: [PATCH 05/10] maint: prefer C23-style nullptr James Youngman
