* debian/patches/git_popup_menu_shift.patch:
  - "gtkmenu: displace popups by their css margin. Without a margin, 
     the pointer is above the first (or last) menu item, making it easy 
     to accidentally activate that item.", thanks Lars Uebernickel
     (lp: #1281617)