Processing commands for cont...@bugs.debian.org:

> forwarded 930577  https://github.com/robotology/idyntree/issues/456
Bug #930577 [coinor-libipopt-dev] coinor-libipopt-dev: uses uninitialized 
memory with MUMPS >= 5.1.0
Set Bug forwarded-to-address to 
'https://github.com/robotology/idyntree/issues/456'.
> tags 930577 + patch
Bug #930577 [coinor-libipopt-dev] coinor-libipopt-dev: uses uninitialized 
memory with MUMPS >= 5.1.0
Added tag(s) patch.
> thanks
Stopping processing here.

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

Reply via email to