Processed: retitle 484234 to ITP: frama-c -- framework for source code analysis of software written in C

To: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>
Cc: Mehdi Dogguy <dogguy@pps.jussieu.fr> (wnpp #484234), <wnpp@debian.org> (wnpp #484234)
Subject: Processed: retitle 484234 to ITP: 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 16:03:04 +0000
Message-id: <[🔎] handler.s.C.121371841712076.transcript@bugs.debian.org>
In-reply-to: <1213718413-2297-bts-dogguy@pps.jussieu.fr>
References: <1213718413-2297-bts-dogguy@pps.jussieu.fr>

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.29
> retitle 484234 ITP: frama-c -- framework for source code analysis of software written in C
Bug#484234: ITP: frama-c -- framework for source code analysis, of
Changed Bug title to `ITP: frama-c -- framework for source code analysis of software written in C' from `ITP: frama-c -- framework for source code analysis, of'.

>
End of message, stopping processing here.

Please contact me if you need assistance.

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

Reply to:

Prev by Date: Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
Next by Date: Lassen Sie uns Ihre Finanzen vervielfachen
Previous by thread: Processed (with 1 errors): Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C
Next by thread: Lassen Sie uns Ihre Finanzen vervielfachen
Index(es):
- Date
- Thread