On 3 November 2016 at 01:07, Dmitry Gutov <dgutov@yandex.ru> wrote:
On 01.11.2016 17:32, Reuben Thomas wrote:
​Any more comments, Dmitry?

Just the minor ones. After fixing those, please install.

Thanks.

​Done. Many thanks for your patient help.

--