Processed: bug 796715 is forwarded to https://release.debian.org/transitions/html/auto-coinor-osi.html

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forwarded 796715 https://release.debian.org/transitions/html/auto-coinor-osi.html
Bug #796715 [release.debian.org] coinor-osi: library transition needed with GCC 5 as default
Set Bug forwarded-to-address to 'https://release.debian.org/transitions/html/auto-coinor-osi.html'.
> thanks
Stopping processing here.

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