Processing control commands: > tags 796715 + patch Bug #796715 [src:coinor-osi] coinor-osi: library transition needed with GCC 5 as default Added tag(s) patch.
-- 796715: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=796715 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
