diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2019-09-16 10:00:48 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-16 10:00:48 +0300 |
commit | f52b4d252aeee4755180e78cb50c9acefdd749e6 (patch) | |
tree | a0467327bc950edac0d80571e726d9bd90780a70 /main/external | |
parent | b9f0803998e5d016bd4a57d828ef107484dc9669 (diff) | |
parent | 05133f08dc48ffd4b407ddb922d096c5c0267bd8 (diff) |
Merge pull request #8724 from mono/backport-pr-8723-to-master
[master] Updated reference to mono/mono-addins@7e3cff2
Diffstat (limited to 'main/external')
m--------- | main/external/mono-addins | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/mono-addins b/main/external/mono-addins -Subproject 5a5607d9969c25a472bcca422a8cc669d332058 +Subproject fc2fb5d53a69e64f2b8ba16c5f495d2a28de53a |