2.5.1 release branding

[jalview.git] / RELEASE

diff --git a/RELEASE b/RELEASE
index cae80a1..46543ed 100644 (file)
--- a/RELEASE
+++ b/RELEASE
@@ -1,3 +1,3 @@
 jalview.release=-r Release_2_5_Branch\r
-jalview.version=2.5\r
+jalview.version=2.5.1\r
 \r