On Wed, Oct 16, 2019 at 5:33 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > On Tue, Oct 15, 2019 at 5:39 PM Thomas Munro <thomas.mu...@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.
