I checked out the Git mirror of the Texinfo repository today, to figure out whether some bugs had been fixed, and I noticed that it contains no commits newer than 2009-04-21. Since the CVS repository contains much newer files, I guess the Git repository is out-of-date. If it is synced manually, then it's time!
Thanks, Ben. -- "In this world that Hugh Heffner had made, he alone seemed forever bunnyless." --John D. MacDonald
