diff options
author | marius.ungureanu <marius.ungureanu@xamarin.com> | 2017-06-27 00:20:23 +0300 |
---|---|---|
committer | marius.ungureanu <marius.ungureanu@xamarin.com> | 2017-06-27 00:20:23 +0300 |
commit | b0333c272ef55159b4c209e71698203d2fb4acdd (patch) | |
tree | d9663abfaed1fe4a1578636c36c1c0822be3c44b | |
parent | 40b07ef4a19c345b534c0528692ec4b153388659 (diff) |
Updated reference to md-addinsmonodevelop-7.1.0.1258
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 2deea36a20..2dccdf4378 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]=b3555dade8157c8fdc5a10de355a93ee32ddeca7 +DEP_NEEDED_VERSION[0]=31cc58bd6e356d0e68b4dd5c9b51283f1506ce99 DEP_BRANCH_AND_REMOTE[0]="d15-3 origin/d15-3" # heap-shot |