Processed: limit source to frama-c, tagging 541963

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

Processing commands for control@bugs.debian.org:

> #frama-c (20090901+beryllium+dfsg-2) unstable; urgency=low
> #
> #  * Build-depend on lablgtk2 (>= 2.14) (Closes: #541963).
> #    - Add a patch: 0004-Use-GSourceView2.patch
> #
> limit source frama-c
Limiting to bugs with field 'source' containing at least one of 'frama-c'
Limit currently set to 'source':'frama-c'

> tags 541963 + pending
Bug #541963 [frama-c] frama-c: depends on deprecated libgtksourceview1.0
Added tag(s) pending.
>
End of message, stopping processing here.

Please contact me if you need assistance.

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