Closed josegallardo closed 4 years ago
merge when https://github.com/xamarin/md-addins/pull/5957 is fixed & ready
Alternate approach: https://github.com/mono/monodevelop/pull/9349
merge when https://github.com/xamarin/md-addins/pull/5957 is fixed & ready