Reported upstream, see URL for details.
Created attachment 154039 [details, diff] patch against texinfo-4.12 Patch from upstream. This will be fixed in texinfo-4.13.
*** Bug 220415 has been marked as a duplicate of this bug. ***
texinfo-4.13 is released, please bump.
4.13 in CVS now.