Processed: Re: Bug#791127: libgtksourceviewmm: library transition may be needed when GCC 5 is the default

[Debian Bug Tracking System]

Processing control commands:

> tags 791127 + confirmed
Bug #791127 [src:libgtksourceviewmm] libgtksourceviewmm: library transition may be needed when GCC 5 is the default
Added tag(s) confirmed.
> severity 791127 serious
Bug #791127 [src:libgtksourceviewmm] libgtksourceviewmm: library transition may be needed when GCC 5 is the default
Severity set to 'serious' from 'important'
> retitle 791127 libgtksourceviewmm: transition to libgtksourceviewmm-3.0-0v5 needed
Bug #791127 [src:libgtksourceviewmm] libgtksourceviewmm: library transition may be needed when GCC 5 is the default
Changed Bug title to 'libgtksourceviewmm: transition to libgtksourceviewmm-3.0-0v5 needed' from 'libgtksourceviewmm: library transition may be needed when GCC 5 is the default'

-- 
791127: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791127
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems