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

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #791173 {Done: Simon McVittie <smcv at debian.org>} [src:libstxxl] libstxxl: library transition may be needed when GCC 5 is the default
Bug reopened
Ignoring request to alter fixed versions of bug #791173 to the same values previously set

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