Le 31 oct. 2012 à 22:39, Karl Berry a écrit : >> Here is my proposal. It works for Bison. > Ping! > > Sorry, my reply from a few days ago accidentally/erroneously went only > to the list and not to you. Here it is: > http://lists.gnu.org/archive/html/bug-texinfo/2012-10/msg00014.html > > In short, the changes are installed, and let me know if problems.
Thanks a lot! It looks fine.
