Processed: limit source to apron, tagging 589359

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

Processing commands for control@bugs.debian.org:

> #apron (0.9.10-5) UNRELEASED; urgency=low
> #
> #  * Add mpfr_random.diff (Closes: #589359)
> #
> limit source apron
Limiting to bugs with field 'source' containing at least one of 'apron'
Limit currently set to 'source':'apron'

> tags 589359 + pending
Bug #589359 [apron] doesn't build with libmpfr-dev from mpfr4
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
589359: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems