2 ms·

Yes. https://github.com/mono/monodevelop/commits/master https://github.com/mono/monodevelop/commits/master