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.
