On 30 August 2017 at 17:48, Eli Zaretskii <eliz@gnu.org> wrote:
LGTM, thanks.

​Great, thanks as ever for your patient supervision. Pushed.​

--