Subject: bug#24341: fixed since commit 17e56dac1

From: Thomas Danckaert <[email-masked]>
Date: Wed, 27 Sep 2017 09:39:23 +0200 (CEST)

Hi,

I think this one's fixed by now.  I wasn't aware of this bug report.

cheers,

Thomas