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:
authorAlan McGovern <alan@xamarin.com>2014-07-11 04:19:54 +0400
committerAlan McGovern <alan@xamarin.com>2014-07-11 04:19:54 +0400
commit4676331632b3e5820ed4a92576594309907d778c (patch)
treecd1b9d5776591301e7d44c7dbd9abe7781d9005f
parent4574b1e5cf09f2e95e486c259bd9267a68c77cb3 (diff)
Bump to include some ios designer fixesmonodevelop-5.1.3.0
Increase version number to 5.1.3 as per policy of hotfixing from an existing branch.
-rwxr-xr-xversion-checks2
-rw-r--r--version.config4
2 files changed, 3 insertions, 3 deletions
diff --git a/version-checks b/version-checks
index 12e479f7eb..beb19f71af 100755
--- a/version-checks
+++ b/version-checks
@@ -17,7 +17,7 @@ DEP[0]=md-addins
DEP_NAME[0]=MDADDINS
DEP_PATH[0]=${top_srcdir}/../md-addins
DEP_MODULE[0]=git@github.com:xamarin/md-addins.git
-DEP_NEEDED_VERSION[0]=fdea6fe3e36cda39291b39c81133e409c6d6f092
+DEP_NEEDED_VERSION[0]=571e972d874f74867110c205fc25b56048e7e93a
DEP_BRANCH_AND_REMOTE[0]="monodevelop-5.1.2-branch origin/monodevelop-5.1.2-branch"
# heap-shot
diff --git a/version.config b/version.config
index 7eff722715..51b1f86ab5 100644
--- a/version.config
+++ b/version.config
@@ -1,3 +1,3 @@
-Version=5.1.2
-Label=5.1.2
+Version=5.1.3
+Label=5.1.3
CompatVersion=5.0