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