diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-08-24 03:43:27 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-08-24 03:43:27 +0400 |
commit | a3607432fa2822389b6c8710cc61fc6cc0454bda (patch) | |
tree | d2c7cfa49e70165719a7006c1e00397049154ef7 | |
parent | 0164e5466e2bd267afef7b4138c03e151e611000 (diff) |
[md-addins] Bump for mdtool fixes
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 9ac5d985b2..9857170377 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]=341c5c8d33abdc3b8a9c691c34d5ae3a6ecfcdfe +DEP_NEEDED_VERSION[0]=1018bd62304bf062b58d7b093fdbd8c1bd276136 DEP_BRANCH_AND_REMOTE[0]="master origin/master" # heap-shot |