Closed nosami closed 4 years ago
Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1036175
Backport of https://github.com/mono/monodevelop/pull/9478
Fixes https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1036175
Backport of https://github.com/mono/monodevelop/pull/9478