Re: inputencoding "default" again

[José Matos]

On Tuesday 09 January 2007 8:02 pm, Georg Baum wrote:
> Opinions? If this is OK I'll develop a patch (will be easy).

 Yes, it is OK. That is the price to pay for using the bleeding edge, 
sometimes bleeds happen. ;-)

>
> Georg

-- 
José Abílio