linuxmint/Cinnamon — pull request #1137 by dalcde (2012-09-16 02:46:30+00:00)
Title: Recommend gnome terminal

#901