Subject: closing

From: KatolaZ <[email-masked]>
Date: Thu, 3 Jan 2019 12:49:22 +0100

It looks like the bug has been solved upstream. Please reopen if
necessary.