diff options
-rwxr-xr-x | version-checks | 2 | ||||
-rw-r--r-- | version.config | 4 |
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 |