]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
fix typo
authorMatthias Maier <tamiko@43-1.org>
Tue, 27 Jun 2023 16:42:30 +0000 (11:42 -0500)
committerMatthias Maier <tamiko@43-1.org>
Tue, 27 Jun 2023 16:42:30 +0000 (11:42 -0500)
release-tasks.md

index 8b6cec4b3d92bccfa24e4fe95acd0289b4a7d98b..7f8ddaaa9db102b13e887bd20e08a61e32755927 100644 (file)
@@ -97,7 +97,7 @@ The following steps have to be done by a single developer (with admin privileges
      ```git checkout master```
      ```git checkout -b update_version```
    * Update the `VERSION` file from `9.5.0-pre` to `9.6.0-pre`.
-     ```echo 9.6.0-rc0 > VERSION```
+     ```echo 9.6.0-pre > VERSION```
      <b>Note:</b> Conservatively only increment the minor version even if the plan is to later release a major update &mdash; it is always possible to convert 9.4 into 10.0 later, but one can't easily back down any more.
    * ```git commit -a -m "Update VERSION"```
    * Make a pull request against main branch (`master`).

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.