mono/monodevelop — pull request #291 by Therzok (2013-05-23 14:33:57+00:00)
Title: Fixed a minor visual issue with Dock Tab Menu.

Added a separator after Version Control group.