From: Marc Fehling Date: Fri, 8 Sep 2023 14:25:08 +0000 (-0600) Subject: Merge pull request #15970 from bangerth/version X-Git-Tag: relicensing~517 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=db3d57382dbf8dd8bb9b5ff62864bc25936979b3;p=dealii.git Merge pull request #15970 from bangerth/version Augment error message for clang-format. --- db3d57382dbf8dd8bb9b5ff62864bc25936979b3