On 10 September 2018 at 07:26, Eli Zaretskii <eliz@gnu.org> wrote:
> From: Reuben Thomas <rrt@sc3d.org>
> Date: Sun, 9 Sep 2018 21:24:15 +0100
> Cc: 32651@debbugs.gnu.org
>
> Thanks. How's the attached? If it's OK, I can install it (with suitable ChangeLog entry) myself.

OK, with two nits:

> ++++

This should be "---", since we aren't going to document this variable
in the manual.

> +** New user option 'flyspell-case-fold-duplications'

This should end with a period, to be a complete sentence.

Thanks.

Installed as commit 61f3a4b4f.

--