diff options
author | Luis Aguilera <luis.aguilera@xamarin.com> | 2017-09-05 21:57:28 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-05 21:57:28 +0300 |
commit | 861d3eb8f64655762b85235dde49874645208f51 (patch) | |
tree | be33e80cb67585233bcb0b29dc16fb4288086276 | |
parent | 67566fe1125129418cc43191f307a914930d9836 (diff) | |
parent | 26e86a80b6e6541f4340a5b78fffe12d33f7a805 (diff) |
Merge pull request #2991 from mono/bump-26e86a8monodevelop-7.2.0.583
Updated reference to xamarin/md-addins
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index b4103bc4c0..2dfe175518 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]=cb7610f9f21d91a22a1b62197263a8f9267cc140 +DEP_NEEDED_VERSION[0]=838dc0d12bdbb0407ea44b7bfd11fbe30ddac07b DEP_BRANCH_AND_REMOTE[0]="d15-4 origin/d15-4" # heap-shot |