On Mon, Aug 26, 2019 at 4:15 PM Didier Verna <[email protected]> wrote: > Thanks for the fast reaction. BTW, which repo is that? I cannot find > such a commit in either of these repositories: > > https://git.savannah.gnu.org/git/texinfo.git > git://git.savannah.gnu.org/gnulib.git
That was my mistake; it should be there now.
