On 06/17/2012 03:46 PM, Akim Demaille wrote: > > Le 17 juin 2012 à 13:02, Stefano Lattarini a écrit : > >> The former was only needed to cater to 8+3 file systems (for which >> we have dropped support anyway), and the latter was hardly used in >> practice, it's extra "eye-candy" not worth complicating the code. >> We now only accept and handle files with a '.texi' suffix. > > Ack. > Thanks. I will give some more time for others to chime in, then push by tomorrow if there is no further feedback.
Regards, Stefano
