diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-05-07 00:15:49 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-05-07 00:15:49 +0400 |
commit | 0fb88a5b486ca8644238e49de32b5c5eb983305d (patch) | |
tree | 1e58036813c17bbb5f66098ba4d5edd232ddb732 | |
parent | 95cd609bee6a0284e4187c7e446b35dce67d943c (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.1.2
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index f6b2e2fcef..3764fb482e 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]=f31b6e9070e958e49b37e273c4bb95ce5874c807 +DEP_NEEDED_VERSION[0]=59d33fcc272e0d0f7211811131eb05d1f994a6b4 DEP_BRANCH_AND_REMOTE[0]="splash2 origin/splash2" # heap-shot |