On Tue, 10 Jan 2017, Ansgar Burchardt wrote: > reassign 850559 libdune-common-dev 2.5.0-1 > reassign 850229 libdune-common-dev 2.5.0-1 > merge 850229 850559 > thanks
Ok, this could be fixed in libdune-common-dev for the dune-* packages, I think, and not necessarily in openmpi-bin. I propose that this is reassigned back to libdune-common-dev, with serious severity, and we use "affects" so that the bug is shown in the pages for the dune-* packages. And then a new bug is opened for openmpi-bin. Thanks.
