diff options
author | Lluis Sanchez <llsan@microsoft.com> | 2017-07-07 11:45:33 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-07 11:45:33 +0300 |
commit | 9bc2f74815f918d9673e7b77f51f763bb8b26c58 (patch) | |
tree | a97bc20828f193a44a8fb9fe153730d6c49efff6 | |
parent | a86cd61d6bc9370a20f3ae2c9a88afc5bfbb25c0 (diff) | |
parent | 71a856ff4df7896b7ce12684196fa90fb00bafdc (diff) |
Merge pull request #2735 from mono/bump-addinsmonodevelop-7.1.0.1276
Bump md-addins
-rwxr-xr-x | version-checks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks index 83f467aa40..2ca587c53f 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]=277532f43f135c85972a0b62c5fcd11965f675fe +DEP_NEEDED_VERSION[0]=28200d2d229d8363f539f975db367fb048c8b19b DEP_BRANCH_AND_REMOTE[0]="d15-3 origin/d15-3" # heap-shot |