Source: dolfin Followup-For: Bug #920546 dolfin tests have been reliably passing now since 2019.1.0 was uploaded.
I think we can consider this bug resolved now, whether by dolfin 2019.1 itself or by the openmpi (or petsc) upgrades that happened in the same time frame. -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
