Subject: bug#34649: fixed

From: Marco van Hulten <[email-masked]>
Date: Mon, 25 Feb 2019 17:17:14 +0100

The problem disappeared.  Either user error or bug was fixed since
reporting.

—Marco