diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-07-25 02:07:36 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-07-25 02:07:36 +0400 |
commit | 42dfacd6c78b4fe181e8d2df9808693533784bf3 (patch) | |
tree | bbc10f30124df426d3a75bac5142ea1274ddd088 | |
parent | aa57de851adec851705a5f8d14eddcb54473d46c (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.1.8
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index ab64795aee..b0c65b9a98 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]=49ac227276951cb3488f8d9760827b4982542edc +DEP_NEEDED_VERSION[0]=65c34a7d3e5e239a6270734df7bed2f65ec41575 DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.1.8 origin/monodevelop-4.1.8" # heap-shot |