diff --git a/debian/patches/avoid-polluting-x11-shortcut-map.patch b/debian/patches/avoid-polluting-x11-shortcut-map.patch index 0f9599d..5473cac 100644 --- a/debian/patches/avoid-polluting-x11-shortcut-map.patch +++ b/debian/patches/avoid-polluting-x11-shortcut-map.patch @@ -1,4 +1,4 @@ -Description: Avoid polluting the the x11 shortcut map +Description: Avoid polluting the x11 shortcut map When user presses a key, but this key was not previously registered as a shortcut, the shortcut map is polluted with "" entry. .