From: Matthias Maier Date: Fri, 2 Dec 2022 00:16:11 +0000 (-0600) Subject: unify spelling X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f82fdabde226c88d3aaec67d87b936a472b735e6;p=release-papers.git unify spelling --- diff --git a/release-tasks b/release-tasks index 1df7f2a..b9c3889 100644 --- a/release-tasks +++ b/release-tasks @@ -220,7 +220,7 @@ Best convert 9.4 into 10.0 later, but one can't easily back down any more.) git checkout master - git commit -a -m "Update VERSION." + git commit -a -m "Update VERSION" [ pull request for master branch ]