On 06/17/2012 06:37 PM, Stefano Lattarini wrote: > 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. > Pushed.
Regards, Stefano
