diff options
| author | PJ Beaman <pj@xamarin.com> | 2014-06-26 17:24:26 +0400 |
|---|---|---|
| committer | PJ Beaman <pj@xamarin.com> | 2014-06-26 17:24:26 +0400 |
| commit | a0481ccb8e3dd23a1c3efa799d4d5e49aba0d620 (patch) | |
| tree | 8a84a780bfb8780a63c2b7b8c5046642caec85c8 | |
| parent | 69533991d9596665c2894630cb9d5566efde19fd (diff) | |
Bump md-addins to new head of monodevelop-5.1.1-branchmonodevelop-5.1.1.17
Includes 2 commits (one merge commit):
https://github.com/xamarin/md-addins/compare/5b679dd8620d608b36a1aee80c3a2bcc05377f43...016eae19105eaae2c441f8b8c9f43678eb048288
Fixes #20765
| -rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index b81fb99dba..c1418a3597 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]=5b679dd8620d608b36a1aee80c3a2bcc05377f43 +DEP_NEEDED_VERSION[0]=016eae19105eaae2c441f8b8c9f43678eb048288 DEP_BRANCH_AND_REMOTE[0]="monodevelop-5.1.1-branch origin/monodevelop-5.1.1-branch" # heap-shot |