From: Peter Munch Date: Sun, 2 Oct 2022 15:13:36 +0000 (+0200) Subject: Merge pull request #14326 from luca-heltai/fix_comments_about_cgal_version X-Git-Tag: v9.5.0-rc1~911 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d82894ea20078ebcfdce67e1589eeab5b2a11939;p=dealii.git Merge pull request #14326 from luca-heltai/fix_comments_about_cgal_version Fix messages about cgal versions --- d82894ea20078ebcfdce67e1589eeab5b2a11939