Bug#920328: override: reportbug-gtk:utils/optional

To: 903712-done@bugs.debian.org
Cc: 920328@bugs.debian.org, Michael Biebl <biebl@debian.org>
Subject: Bug#920328: override: reportbug-gtk:utils/optional
From: Nis Martensen <nis.martensen@web.de>
Date: Fri, 1 Feb 2019 11:36:19 +0100 (CET)
Message-id: <[🔎] 2004980403.19033.1549017380038@office.mailbox.org>
Reply-to: Nis Martensen <nis.martensen@web.de>, 920328@bugs.debian.org
References: <154831749026.5278.11995944026010892.reportbug@pluto.milchstrasse.xx>

Thanks Michael for the confirmation. So according to:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920328#10

bug #903712 (override: reportbug-gtk:utils/optional) is now fixed, closing.

Reply to:

Prev by Date: Bug#920328: marked as done (Please downgrade priority to optional)
Next by Date: Bug#922014: reportbug: number of bugs equals the list of whshlist bugs
Previous by thread: Bug#920328: marked as done (Please downgrade priority to optional)
Next by thread: Bug#922014: reportbug: number of bugs equals the list of whshlist bugs
Index(es):
- Date
- Thread