Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCody Russell <cody@jhu.edu>2018-08-20 18:00:06 +0300
committerCody Russell <cody@jhu.edu>2018-08-20 18:00:06 +0300
commitfb16be35abf8acf82c30c20fc7a125df2b143ec4 (patch)
treed1164478cca354a034889f9a36fccec2f8f918be
parentcdea080b5f0655bdd0cf0acf9502bdfa388d50ad (diff)
Bump md-addinsopenjdk
-rwxr-xr-xversion-checks2
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