On Thu, 12 Jan 2017, Ansgar Burchardt wrote: > Control: reassign -1 openmpi-bin 2.0.2~git.20161225-8 > Control: severity -1 important > Control: retitle -1 openmpi-bin: default for oversubscription changed
This is a FTBFS problem. Please do not simultaneously remove this bug from the list of bugs in dune-grid *and* downgrade from serious. If you think the bug should only be fixed in openmpi-bin, that's fine, but then the bug should be serious, because it breaks other packages. OTOH, if you just think this would be better fixed in openmpi-bin, then please reassign this back to dune-grud and open a new bug for openmpi-bin. Thanks.