From: Daniel Arndt Date: Thu, 25 Apr 2024 00:50:47 +0000 (-0400) Subject: Merge pull request #16929 from bangerth/grammar X-Git-Tag: v9.6.0-rc1~342 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eae235577ef5aa1ee8e399509ba366565c23d366;p=dealii.git Merge pull request #16929 from bangerth/grammar Fix grammar in cmake messages. --- eae235577ef5aa1ee8e399509ba366565c23d366