[Pkg-openmpi-maintainers] Processed: Re: fixed in openmpi_2.0.2~git.20161225-8

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #847806 {Done: Alastair McKinstry <mckinstry at debian.org>} [libopenmpi2] libopenmpi2: broken SONAME links
Bug reopened
Ignoring request to alter fixed versions of bug #847806 to the same values previously set

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