Bug#982148: frama-c: autopkgtest failure: nothing logged

To: 982148@bugs.debian.org
Subject: Bug#982148: frama-c: autopkgtest failure: nothing logged
From: Gianfranco Costamagna <locutusofborg@debian.org>
Date: Fri, 12 Feb 2021 20:48:40 +0100
Message-id: <[🔎] 7b0fd8f9-d3f7-56c0-512e-0b348981c219@debian.org>
Reply-to: Gianfranco Costamagna <locutusofborg@debian.org>, 982148@bugs.debian.org
References: <7b0fd8f9-d3f7-56c0-512e-0b348981c219.ref@debian.org> <[🔎] 1cdf1010-7052-6d37-e3de-2ba431ce8aca@debian.org>

control: tags -1 patch pending

I'm uploading to let the package transition to testing.

G.

Reply to:

References:
- Bug#982148: frama-c: autopkgtest failure: nothing logged
  - From: Paul Gevers <elbrus@debian.org>