mono/monodevelop — pull request #562 by gliwka (2014-05-24 23:43:25+00:00)
Title: Added initial gnome terminal server support for gnome 3

Fix for bug 16804