search

mono / monodevelop

MonoDevelop is a cross platform .NET IDE
http://www.monodevelop.com
2.84k stars 1.02k forks source link

fix #9633 #9664

Closed KisaragiEffective closed 3 years ago

knocte commented 3 years ago

@KisaragiEffective can you move this PR to https://github.com/dotdevelop/dotdevelop/ please?

KisaragiEffective commented 3 years ago

@knocte sure, I'll do it.