Luca Weiss, le jeu. 24 oct. 2019 19:45:04 +0200, a ecrit: > This fixes the build with texinfo 6.7
Applied, thanks! Samuel
- [PATCH] Specify encoding of texinfo file Luca Weiss
- Re: [PATCH] Specify encoding of texinfo file Samuel Thibault
Luca Weiss, le jeu. 24 oct. 2019 19:45:04 +0200, a ecrit: > This fixes the build with texinfo 6.7
Applied, thanks! Samuel