diff options
author | Greg Munn <greg@sgmunn.com> | 2017-12-12 21:48:42 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-12 21:48:42 +0300 |
commit | 7d0c9d7ad46b125cf4b7bbf9532c0531b6433ce6 (patch) | |
tree | a937a02e1c2776bc735333806e77a300e8a30050 | |
parent | d203af94011a0bfba0685a67e73281a53c25e393 (diff) | |
parent | a8fb48c9e3550909707547a31af486feeca9827c (diff) |
Merge pull request #3495 from mono/bump-a8fb48cmonodevelop-7.3.2.12
Updated reference to xamarin/md-addins@6dddaa4
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index ffe590af03..b8768b29e6 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]=1981a9e7c28d5c3839bb5dc2a0dcaf56fe640906 +DEP_NEEDED_VERSION[0]=6dddaa49fbecb2695fcdcd6b712eb269e288518c DEP_BRANCH_AND_REMOTE[0]="d15-5 origin/d15-5" # heap-shot |