Bug#717014: reassign to latest gnat

To: 717014@bugs.debian.org, 760211@bugs.debian.org
Subject: Bug#717014: reassign to latest gnat
From: Nicolas Boulenguez <nicolas@debian.org>
Date: Sun, 27 Sep 2020 14:32:12 +0200
Message-id: <[🔎] 20200927123212.GA18532@nicolasthinkpad>
Reply-to: Nicolas Boulenguez <nicolas@debian.org>, 717014@bugs.debian.org
References: <20130716010006.17244.24645.reportbug@pegase>

Control: reassign 717014 gnat-10 10.2.0-9
Control: reassign 760211 gnat-10 10.2.0-9

Reproduced on armel.

Reply to:

Prev by Date: Bug#748297: the libgnatvsn patch should be upstreamed or dropped
Next by Date: Processed: reassign to latest gnat
Previous by thread: Bug#748297: the libgnatvsn patch should be upstreamed or dropped
Next by thread: Processed: reassign to latest gnat
Index(es):
- Date
- Thread