Processed: setting package to frama-c, tagging 544404

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

Processing commands for control@bugs.debian.org:

> #frama-c (20090601~beta1+dfsg-2) unstable; urgency=low
> #
> #  * Add two patches:
> #    + Fix weak pattern-matching in dynlink_lower_311_byte.ml, fixes FTBFS
> #      on non-native architectures.
> #      0003-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
> #    + Fix issuess when linking statically Jessie plugin (Closes: #544404)
> #      0004-Add-JCCM-O-X-to-BYTE-OPT-_LIBS-when-linking-statical.patch
> #
> package frama-c
Limiting to bugs with field 'package' containing at least one of 'frama-c'
Limit currently set to 'package':'frama-c'

> tags 544404 + pending
Bug #544404 [frama-c] Fail to load plugins at startup
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)