Jim Meyering wrote: ... > Thanks. I've removed that line: > > commit 2ff1e503aa716301582b43c04623582a3f072480 > Author: Eric Blake <[email protected]> > Date: Tue Jul 12 12:05:47 2011 +0200 > > build: list makeinfo 4.13 as a build-from-git requirement > > * bootstrap.conf (buildreq): List 4.13 as minimum makeinfo version. > Prompted by Joachim Schmitz's report in http://debbugs.gnu.org/9050.
I've closed this issue.
