Skip to content

[P4est] Enable OpenMPI#7500

Merged
giordano merged 2 commits intoJuliaPackaging:masterfrom JoshuaLampert:p4est-openmpiOct 6, 2023

Commits

Commits on Oct 6, 2023