Closed monojenkins closed 4 years ago
Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1027799/ Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1027825/ Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1022231/
Backport of #9410.
/cc @jstedfast
Already merged through https://github.com/mono/monodevelop/pull/9482
Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1027799/ Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1027825/ Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1022231/
Backport of #9410.
/cc @jstedfast