Processed: Bug #911159 in frama-c marked as pending

To: Stéphane Glondu <glondu@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug #911159 in frama-c marked as pending
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 12 Nov 2018 11:54:03 +0000
Message-id: <[🔎] handler.s.U911159.15420234437681.transcript@bugs.debian.org>
References: <5be9690feae56_3663fb38a4bb0a4389ea@godard.mail> <3078b9f1-d448-9659-85a9-f4fbd2c5da28@debian.org>

Processing control commands:

> tag -1 pending
Bug #911159 [src:frama-c] please stop building the frama-c GUI
Added tag(s) pending.

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

Reply to:

Prev by Date: Bug#913549: ocamlbuild: new upstream release (0.13.1)
Next by Date: [Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2
Previous by thread: Bug#913549: ocamlbuild: new upstream release (0.13.1)
Next by thread: [Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2
Index(es):
- Date
- Thread