diff options
| author | Greg Munn <greg@sgmunn.com> | 2018-01-23 01:26:04 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-23 01:26:04 +0300 |
| commit | 125911fb4accc4309b2cee5c81c970c7cff9b0e0 (patch) | |
| tree | a253899367b153c2498c5e14ca4b978484584463 | |
| parent | b1c2982e201e71ef758866c9ade05f253a8c6f47 (diff) | |
| parent | 64a075d4472d3e61d5d6113099f9e72d7b68aba0 (diff) | |
Merge pull request #3713 from mono/bump-64a075dmonodevelop-7.3.3.7
Updated reference to xamarin/md-addins@463e21a
| -rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index f78ee96244..8ac06c4e73 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]=f397ddfbacfb39e60c9cc8d9e410f73faf8c2cbc +DEP_NEEDED_VERSION[0]=463e21a6d9d4f6b57f923df376fff093a1dd9404 DEP_BRANCH_AND_REMOTE[0]="d15-5 origin/d15-5" # heap-shot |