diff options
author | Luis Aguilera <luis.aguilera@xamarin.com> | 2017-10-02 19:59:09 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-02 19:59:09 +0300 |
commit | cab57de4a7f8c07b8d910d14fff83942cd3f02bf (patch) | |
tree | 1e29e2fce38c4c002543d93c6b2ae7ba00dbc8f1 | |
parent | 45d94dd1a0cc9481347ac307203588a3ba6e2bae (diff) | |
parent | 3e371abd341b06d9ed7e0fcfb17afe77b0d92847 (diff) |
Merge pull request #3127 from mono/bump-3e371abmonodevelop-7.2.0.627
Updated reference to xamarin/md-addins@a8da992
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index d3eee5ac1d..1e97eb4ead 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]=83cf86d5ab23f29d56fb68204bea265fa1cb7575 +DEP_NEEDED_VERSION[0]=a8da992c78f7eb65b3cdb3f951c34a30337cab35 DEP_BRANCH_AND_REMOTE[0]="d15-4 origin/d15-4" # heap-shot |