Processed (with 1 errors): Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C

To: Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr>
Cc: <wnpp@debian.org> (wnpp #484234)
Subject: Processed (with 1 errors): Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 17 Jun 2008 15:54:06 +0000
Message-id: <[🔎] handler.s.C.121371800730747.transcript@bugs.debian.org>
In-reply-to: <[🔎] 4857DDF3.6010907@pps.jussieu.fr>
References: <[🔎] 4857DDF3.6010907@pps.jussieu.fr>

Processing commands for control@bugs.debian.org:

> retitle 484234 ITP: frama-c -- framework for source code analysis, of
Bug#484234: RFP: frama-c -- framework for source code analysis of software written in C
Changed Bug title to `ITP: frama-c -- framework for source code analysis, of' from `RFP: frama-c -- framework for source code analysis of software written in C'.

> software written in C
Unknown command or malformed arguments to command.

> owner 484234 Mehdi Dogguy <dogguy@pps.jussieu.fr>
Bug#484234: ITP: frama-c -- framework for source code analysis, of
Owner recorded as Mehdi Dogguy <dogguy@pps.jussieu.fr>.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
  - From: Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr>

Prev by Date: Bug#457318: netqmail_1.06-1_powerpc.changes is NEW
Next by Date: Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
Previous by thread: Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
Next by thread: Processed: retitle 484234 to ITP: frama-c -- framework for source code analysis of software written in C
Index(es):
- Date
- Thread