Processed: Re: frama-c: autopkgtest failure: nothing logged

To: Gianfranco Costamagna <locutusofborg@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: frama-c: autopkgtest failure: nothing logged
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 11 Feb 2021 22:15:05 +0000
Message-id: <[🔎] handler.s.B982148.16130816161812.transcript@bugs.debian.org>
References: <[🔎] 11d2c6df-9676-7496-9229-ba9e51dc65eb@debian.org> <[🔎] 1cdf1010-7052-6d37-e3de-2ba431ce8aca@debian.org>

Processing control commands:

> tags -1 patch
Bug #982148 [src:frama-c] frama-c: autopkgtest failure: nothing logged
Added tag(s) patch.

-- 
982148: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=982148
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

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

Prev by Date: Bug#982148: frama-c: autopkgtest failure: nothing logged
Next by Date: Support Informatique
Previous by thread: Bug#982148: frama-c: autopkgtest failure: nothing logged
Next by thread: Processed: Re: frama-c: autopkgtest failure: nothing logged
Index(es):
- Date
- Thread