Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDuncan Mak <duncan.mak@xamarin.com>2014-07-14 20:07:13 +0400
committerDuncan Mak <duncan.mak@xamarin.com>2014-07-14 20:07:13 +0400
commit7d45bbe2ee22625f125d0c52548524f02d005cca (patch)
treed8b9a0785ba47f5a82250ab133e20f21544ad04f
parent8b332463e90d20fde4553e6c7c370b3fa6179963 (diff)
-rw-r--r--version.config4
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config
index 51b1f86ab5..a5261b204f 100644
--- a/version.config
+++ b/version.config
@@ -1,3 +1,3 @@
-Version=5.1.3
-Label=5.1.3
+Version=5.1.4
+Label=5.1.4
CompatVersion=5.0