On Wed, Oct 16, 2019 at 5:33 PM Thomas Munro <thomas.munro@gmail.com> wrote:
> On Tue, Oct 15, 2019 at 5:39 PM Thomas Munro <thomas.munro@gmail.com> wrote:
> > Here's a version with a small note added to the documentation. I'm
> > planning to commit this tomorrow.
>
> Done.
The buildfarm is telling me that I didn't test this with the full set
of locales installed, so it fails on some systems. Will fix.