Processed: severity of 796716 is serious, severity of 796719 is serious, severity of 796721 is serious

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 796716 serious
Bug #796716 [src:urdfdom] urdfdom: library transition needed with GCC 5 as default
Severity set to 'serious' from 'normal'
> severity 796719 serious
Bug #796719 [src:tntdb] tntdb: library transition needed with GCC 5 as default
Severity set to 'serious' from 'normal'
> severity 796721 serious
Bug #796721 [src:tntnet] tntnet: library transition needed with GCC 5 as default
Severity set to 'serious' from 'normal'
> thanks
Stopping processing here.

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