Subject: bug#32510: acknowledged by developer (control message for bug #32510)

From: Dmitry Gutov <[email-masked]>
Date: Tue, 30 Jul 2019 17:00:28 +0300

On 30.07.2019 3:06, Dmitry Gutov wrote:
> The full proposed patch is below.

I've pushed that change now to master. Please try it out.