From: Timo Heister Date: Mon, 12 Aug 2024 00:18:37 +0000 (-0400) Subject: Merge pull request #393 from chaos-polymtl/update_p4est_to_docker_version X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b29742545f13c5e61cd6b681932a85e07b25f2a8;p=candi.git Merge pull request #393 from chaos-polymtl/update_p4est_to_docker_version Update p4est package to docker image version --- b29742545f13c5e61cd6b681932a85e07b25f2a8