]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Increase the version number. 4839/head
authorDavid Wells <wellsd2@rpi.edu>
Mon, 14 Aug 2017 16:16:44 +0000 (12:16 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Mon, 14 Aug 2017 16:22:34 +0000 (12:22 -0400)
VERSION

diff --git a/VERSION b/VERSION
index 6d2890793d472568bda2a7937a2b3f6496a844e6..f9c71a52e2fd865dbf40db779b5bf8157d5c5a6a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.5.0
+8.5.1

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.