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