diff options
author | Greg Munn <greg@sgmunn.com> | 2015-01-19 23:09:11 +0300 |
---|---|---|
committer | Greg Munn <greg@sgmunn.com> | 2015-01-19 23:09:11 +0300 |
commit | a4dd61ad7f8b3695be4b17bcb5c3ae6b81438cf7 (patch) | |
tree | 0b60995da69fcde1c88e49a164aba16edff296b0 | |
parent | 8e357d6be321e716f361ebc9591e4cee7f217c21 (diff) |
bump md-addinsmonodevelop-5.7.1.14
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 79f2c3e8d8..2ff79ddae2 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]=a6842a7727f64e956f942b8160f7835c9d9076a4 +DEP_NEEDED_VERSION[0]=081208fe3bbf40e24a562867c6c7fba20a9b94b6 DEP_BRANCH_AND_REMOTE[0]="monodevelop-5.7-branch origin/monodevelop-5.7-branch" # heap-shot |