diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-10-21 19:12:13 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-10-21 19:12:13 +0400 |
commit | dd8d473dc7d2b68a93b2f40cf9290a7f7c7a5feb (patch) | |
tree | 506c7da972cf3b2442757370902dd4c7163152db | |
parent | dceb023245d8ae1ed4bbca14838e266691b5cdcf (diff) |
Updated required md-addins revision to tagged commit
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 263d8ecf66..3696456df0 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]=d035c04427fe1898ca13c45c8b350396dfe31471 +DEP_NEEDED_VERSION[0]=4c919d0f1fb92616f887adec0f91a803c069e60a DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.0.13-branch origin/monodevelop-4.0.13-branch" # heap-shot |