Processed: setting package to frama-c, tagging 533158

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> #frama-c (20081201.dfsg-3) unstable; urgency=low
> #
> #  * Fix long description (Closes: #533158)
> #
> package frama-c
Ignoring bugs not assigned to: frama-c

> tags 533158 + pending
Bug#533158: frama-c: long description no sentence
There were no tags set.
Tags added: pending

>
End of message, stopping processing here.

Please contact me if you need assistance.

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