linuxmint/Cinnamon — pull request #2042 by mtwebster (2013-05-18 19:13:59+00:00)
Title: Use new keybinding functionality in Cinnamon to manage custom keybindings

This eliminates compatibility code between Mint 13, Mint 14, Mint15,
and makes keybindings that utilize Super more reliable.