Patch 1693258: Fix for duplicate "preferences" menu-OS X
1 file changed