From: David Wells <wellsd2@rpi.edu>
Date: Mon, 14 Aug 2017 16:16:44 +0000 (-0400)
Subject: Increase the version number.
X-Git-Tag: v8.5.1~3^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce25dc471e0211c4f0e2a9c6a3743db9cd54ca5f;p=dealii.git

Increase the version number.
---

diff --git a/VERSION b/VERSION
index 6d2890793d..f9c71a52e2 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.5.0
+8.5.1