diff options
| author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-07-20 10:07:47 +0400 |
|---|---|---|
| committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-07-20 10:07:47 +0400 |
| commit | 381f69ca3f1d5308afc0fd295cac5de870eebcd7 (patch) | |
| tree | 18b34c061f71e4c4868deab24bc375f1cd19ed63 | |
| parent | f78b1117e201b3890dce45559bc8995adc4005a2 (diff) | |
Bump mono-addins
| -rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 1ee9c60660..2a4950c232 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]=a158bb2e0120450d0d23a35a5d4cbc695947bcab +DEP_NEEDED_VERSION[0]=fe4f180e2386eafc00087ef68c3a580cff4a2592 DEP_BRANCH_AND_REMOTE[0]="monodevelop-4.0.10-branch origin/monodevelop-4.0.10-branch" # heap-shot |