diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-09-24 12:33:16 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-09-24 12:33:16 +0400 |
commit | 07afec667f7be5d0ee511eb7115bbac6377fbae8 (patch) | |
tree | 85b970b4a785ae1b51eb6a62427ca710b42bd462 | |
parent | c66520a8992149ce9ceb50106fd3b85b74904704 (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.0.13
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 5178007536..e9faf442e5 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]=a6908312c9ad3e40f09ad731f444cad06ddf1546 +DEP_NEEDED_VERSION[0]=61140345a5b109633a94409edcbc7a4c19a425c6 DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.0.13-branch origin/monodevelop-4.0.13-branch" # heap-shot |