From: Daniel Arndt <arndtd@ornl.gov>
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