diff options
| author | Greg Munn <greg@sgmunn.com> | 2017-11-29 01:10:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-29 01:10:53 +0300 |
| commit | c755178786203baadb0bd0c39d5e18e07ce74b0c (patch) | |
| tree | e32b4bace43874d2c5adb373824b1b815f0241d4 | |
| parent | c3c4b5255d6f3f523b2e325e69b3e71143febdd9 (diff) | |
| parent | 76e06ebfbff5e5c17c1c49aaeab1d5fadcfcf871 (diff) | |
Merge pull request #3425 from mono/bump-76e06ebmonodevelop-7.3.0.790
Updated reference to xamarin/md-addins@2c76f15
| -rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 913eb6cc47..5d2dde3113 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]=341ec6271c0fce91ec4739bf58796ed53003d749 +DEP_NEEDED_VERSION[0]=2c76f157f785ccd4b12958cdb0758661b838d92d DEP_BRANCH_AND_REMOTE[0]="d15-5 origin/d15-5" # heap-shot |