* debian/patches/git_hidpi_scalling.patch: 
  - backport upstream change to support hi-dpi screens/scaling. You can 
    change the scaling value by writting the "org.gnome.desktop.interface 
    scaling-factor" gsettings key