diff options
author | greg.munn <greg.munn@xamarin.com> | 2017-06-21 20:13:26 +0300 |
---|---|---|
committer | greg.munn <greg.munn@xamarin.com> | 2017-06-21 20:13:26 +0300 |
commit | 4cfa2b9e9797a6bdc2cad7862bc82842f8f425c1 (patch) | |
tree | 19432906845a142be38b9e6afabf6e25c016b648 | |
parent | cf04374ddf74c08201592903bcec2af29e951f19 (diff) |
Updated reference to md-addinsmonodevelop-7.2.0.235
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 492ee18ff7..cabb2842a3 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]=3369f06efe79a911f1e0b506aa0c6c57d7d7f2a5 +DEP_NEEDED_VERSION[0]=b7b7984edd6b124efecb4ce55e70a555c21c3880 DEP_BRANCH_AND_REMOTE[0]="master origin/master" # heap-shot |