Subject: Upstream report

From: Jens Korte <[email-masked]>
Date: Sat, 23 May 2020 16:19:34 +0200

The bug report upstream at debian is at:
<https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=961343>