Processing commands for cont...@bugs.debian.org: > 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 1000491 + pending Bug #1000491 [src:frama-c] FTBFS with Why3 1.4.0 Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 1000491: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1000491 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
