diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-05-15 23:33:09 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-05-15 23:33:09 +0400 |
commit | 0f1da1e7f83345a52a4b68b8142ce699a6b2ada0 (patch) | |
tree | 2f7fb5d4cd7dfd245749436fa22207000b1ffb80 | |
parent | 227ec70bdccf7a90e4eb835160b2d03f782f2f8f (diff) |
Updated required md-addins revision to tagged commitmonodevelop-4.0.7
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 0388641956..0683407cd5 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]=98ff797f21e313aa49fa552194cc8b68f7352262 +DEP_NEEDED_VERSION[0]=9d3dcd5b80ef94f6d91065e914c053a708c5e65b DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.0.6-branch origin/monodevelop-4.0.6-branch" # heap-shot |