# Ubuntu-specific patches
fix-wrong-radio-buttons.patch
avoid-polluting-x11-shortcut-map.patch
add-super-key-binding-support.patch