mono/monodevelop — pull request #691 by Therzok (2014-12-16 14:04:37+00:00)
Title: Performance Improvements for Startup operations.

Don't merge yet.