Subject: bug#474: Upstream report

From: Mark Hindley <[email-masked]>
Date: Sat, 23 May 2020 18:29:18 +0100

Control: forwarded -1 https://bugs.debian.org/961343

Jens,

On Sat, May 23, 2020 at 04:19:34PM +0200, Jens Korte wrote:
> The bug report upstream at debian is at:
> <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=961343>

Many thanks.

Mark