Processing commands for cont...@bugs.debian.org: > forcemerge 984008 1006919 Bug #984008 [src:cbmc] cbmc: ftbfs with GCC-11 Bug #1006919 [src:cbmc] src:cbmc FTBFS Added tag(s) ftbfs. Merged 984008 1006919 > thanks Stopping processing here.
Please contact me if you need assistance. -- 1006919: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1006919 984008: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=984008 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
