Processing control commands: > tags -1 patch fixed-upstream Bug #871068 [src:cbmc] cbmc: FTBFS: wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::operation' may be used uninitialized in this function [-Werror=maybe-uninitialized] Added tag(s) fixed-upstream and patch.
-- 871068: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871068 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
