From: Wolfgang Bangerth Date: Wed, 22 Jun 2022 04:37:08 +0000 (+0900) Subject: Merge pull request #79 from fdrmrc/improve-CGAL-section X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ecf04eb7d639736522689ed987d614bcdd62d9f1;p=release-papers.git Merge pull request #79 from fdrmrc/improve-CGAL-section Improve CGAL section --- ecf04eb7d639736522689ed987d614bcdd62d9f1