From: David Wells Date: Thu, 17 Sep 2020 18:58:24 +0000 (-0400) Subject: Merge pull request #10929 from bangerth/period X-Git-Tag: v9.3.0-rc1~1104 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bcb2fdb641f4355e445b7c6e85d7114f084d8032;p=dealii.git Merge pull request #10929 from bangerth/period Use proper grammar. --- bcb2fdb641f4355e445b7c6e85d7114f084d8032