diff options
author | Greg Munn <greg@sgmunn.com> | 2017-12-21 18:39:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-21 18:39:30 +0300 |
commit | b1c2982e201e71ef758866c9ade05f253a8c6f47 (patch) | |
tree | c35768e3cb42df2eaa76f39e7fc512fd23e9ba7e | |
parent | cdc8b7a9156be8521cc0724a998ea1eb52459483 (diff) | |
parent | 04f5dbb28cfd1c8a6e48195cc24d5ca6b6c09611 (diff) |
Merge pull request #3525 from mono/bump-04f5dbbmonodevelop-7.3.3.5
Updated reference to xamarin/md-addins@f397ddf
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 95de81839e..f78ee96244 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]=39ace7f26d5936ba482d71c9b8eb50aeb033decf +DEP_NEEDED_VERSION[0]=f397ddfbacfb39e60c9cc8d9e410f73faf8c2cbc DEP_BRANCH_AND_REMOTE[0]="d15-5 origin/d15-5" # heap-shot |