diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-07-18 18:40:25 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-07-18 18:40:25 +0400 |
commit | e8d353852416693588e6e53a5c2b2d70e5ddadfb (patch) | |
tree | 5d8cca4b25443c34c6f9fc7041cbce86bc5fec81 | |
parent | 6b04d7e3a136efa81e0a2e9bff3179ed1f48b412 (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.1.7
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 4cdb4b327c..502394e437 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]=7b3501198b2f637490aa09394576ab0f91be83a4 +DEP_NEEDED_VERSION[0]=7a764a450cd980c7942b91f12ac36947f9c6a71f DEP_BRANCH_AND_REMOTE[0]="master origin/master" # heap-shot |