diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-07-10 00:20:47 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-07-10 00:20:47 +0400 |
commit | c83a26fbfd92eb87016eca2fa655dbd996f9a899 (patch) | |
tree | aa7a8f5497879361316d0ac65f73becf4a0328ea | |
parent | 7f755d21072bc7895e3ac3da489ee864fe968080 (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.1.5
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index b17d745bef..1e9cadf6a3 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]=60ac855827114b3d729573bf280ceca0960dd590 +DEP_NEEDED_VERSION[0]=6b029b21a6c1ee965bdc441cdf9e017ac75e7295 DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.1.5-branch origin/monodevelop-4.1.5-branch" # heap-shot |