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