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