Hi,
Is there any news on when the next release of dolfin (2020.1.0) will be? On the Roadmap 2019-2020 page it currently says the release is due in early 2020.
Apologies if this is the wrong place to ask this question, I wasn’t sure where else it might be appropriate to ask this.
Many thanks in advance!