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