On Fri, Dec 04, 2020 at 11:20:47PM +0100, Christopher Dimech wrote: > Understood. It would be extremely helpful to users trying to test or check > the development version to put a remark about /doc/texinfo.tex in the section > "Getting a Copy of the Git Repository".
I think it is clear if you say to a user, "that issue is fixed in the development version in git", then they should know to look in git, not on the website for versions released for users.
