diff options
author | Cody Russell <cody@jhu.edu> | 2018-08-20 18:00:06 +0300 |
---|---|---|
committer | Cody Russell <cody@jhu.edu> | 2018-08-20 18:00:06 +0300 |
commit | fb16be35abf8acf82c30c20fc7a125df2b143ec4 (patch) | |
tree | d1164478cca354a034889f9a36fccec2f8f918be | |
parent | cdea080b5f0655bdd0cf0acf9502bdfa388d50ad (diff) |
Bump md-addinsopenjdk
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 7286ad2893..a3a47e91fb 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]=e26a84c36ebf76b1b356b7dae80ab09c9dcc00c6 +DEP_NEEDED_VERSION[0]=e1b25c7265d8dad5548d246d9a4cad96844ac95e DEP_BRANCH_AND_REMOTE[0]="openjdk origin/openjdk" # heap-shot |