* Re-do the following changes which were accidently dropped in the
  last upload:
* debian/gsettings-desktop-schemas.gsettings-override:
  debian/patches/ubuntu_default_button_modifier_is_alt.patch:
  - Dropped, these overrides have been moved to ubuntu-default-settings
    and ubuntu-gnome-default-settings
* debian/patches/dont_reset_themes.patch:
  debian/patches/01_migrate_background.patch:
  - Dropped, these aren't needed anymore after Ubuntu 12.04 LTS