File texinfo-4.13a-bug713517.diff of Package texinfo (Revision 78dc65562869e68d32126c52aa1a7d8d)
Currently displaying revision 78dc65562869e68d32126c52aa1a7d8d , Show latest
Currently displaying revision 78dc65562869e68d32126c52aa1a7d8d , Show latest