diff options
author | Jose Medrano <josmed@microsoft.com> | 2019-09-19 21:13:43 +0300 |
---|---|---|
committer | monojenkins <jo.shields+jenkins@xamarin.com> | 2019-10-23 21:16:17 +0300 |
commit | 6cef3c2aa354de010411e0461e77e12f68ef9994 (patch) | |
tree | 475030b4bf459651daa436d8ad6c0fdd1c604059 /main/external | |
parent | bca37fc2554b79a96576e944cc815aac82213d67 (diff) |
Fixes current alignment centering Extension and children to parent
Fixes VSTS #935546 - [Shell] Extensions screen is not well aligned to parent
Fixes VSTS #872599 - [Feedback] Extension manager cannot be closed if remote is unreachable
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 09ac97652bef24b2e043bc8fda7a024cf4dc7a4 +Subproject 124fd2d88fdabf54c378bdf5041584f9e06b681 |