Subject: bug#15260: cannot build in a directory with non-ascii characters

From: Stefan Monnier <[email-masked]>
Date: Tue, 29 Oct 2013 09:56:23 -0400

>> IOW, it was to work around bugs (e.g. missing coding: cookie) and is
>> likely unneeded nowadays.
> Right, so the way should be clear to remove these.

There may still be problems laying dormant, but we should be able to fix
them if/when they show up,

        Stefan