On 2015-05-19 22:44:17 +0200, Hilmar Preuße wrote: > Confirmed. Was still working in info 4.13 (wheezy).
I've reported the bug upstream: http://lists.gnu.org/archive/html/bug-texinfo/2015-05/msg00010.html It's either specific to Debian or fixed upstream. I'm currently looking at this. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
