diff options
author | Luis Aguilera <luis.aguilera@xamarin.com> | 2017-07-11 03:53:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-11 03:53:24 +0300 |
commit | cc3abfe9b515ed0e209041e00d3ea239e8e33df9 (patch) | |
tree | 824fa3ddb681f94dc3471590bf5de5a2fc0c4e12 | |
parent | 2b99bfef4f925b13b1aae78ce3a47006a122e9a7 (diff) | |
parent | 7dde74151a4910e05ad1039cf8ce9aed5cbe0e5e (diff) |
Merge pull request #2751 from mono/d15-3-mdaddins-bump-73710b7monodevelop-7.1.0.1281
D15-3 md-addins bump 73710b7
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 2ca587c53f..b43290da38 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]=28200d2d229d8363f539f975db367fb048c8b19b +DEP_NEEDED_VERSION[0]=73710b74251e471826f2d9981d3a2bee6c4e78ad DEP_BRANCH_AND_REMOTE[0]="d15-3 origin/d15-3" # heap-shot |