Re: special characters in filenames in error messages

[Karl Berry]

I sent Bruno's proposal B to rms.  He seems to have accepted it in
general.  I'll report when there's something concrete to say.