Subject: bug#19547: Patch for this bug

From: Reuben Thomas <[email-masked]>
Date: Sun, 27 Nov 2016 18:05:36 +0000

On 25 November 2016 at 17:10, Thierry Volpiatto <[email-masked]
> wrote:

>
> As no body is working on this, I started looking at this as I would like
> to have a fix for this for helm

​This was still on my to-do list, but thanks very much, Thierry, for taking
over.​