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:
authorGreg Munn <greg@sgmunn.com>2014-11-11 22:56:34 +0300
committerGreg Munn <greg@sgmunn.com>2014-11-11 22:56:34 +0300
commit0ba6e4604b0c07b002498251c20bde8a265b13be (patch)
tree5fc5cc8c4163fc7db0e79a23c8d9d7cf140c0ca1
parente3f694bbe83524db6d7e8cae11bff54773daf8ab (diff)
Bump md-addins to pick up androidtools bump (fixes 24418)monodevelop-5.5.4.14
-rwxr-xr-xversion-checks2
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks
index fa12395b79..916ea2a991 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]=f7574394ab210968f35256aa4ff98f7bf4ed7fa9
+DEP_NEEDED_VERSION[0]=8ee37a13f91f85d350eeecbab99dff85d24d02dd
DEP_BRANCH_AND_REMOTE[0]="monodevelop-5.5-branch origin/monodevelop-5.5-branch"
# heap-shot