Publishing details

Published on 2019-08-24

Changelog

ubuntu-settings (19.10.1) eoan; urgency=medium

  * ubuntu-settings.gsettings-override: Move enable-hot-corners to interface
  * ubuntu-settings.gsettings-override: Use an array for media keys

 -- Marco Trevisan (Treviño) <email address hidden>  Sat, 24 Aug 2019 15:30:56 +0300

Available diffs

diff from 19.04.4 (in Ubuntu) to 19.10.1 (646 bytes)
diff from 19.10.1~pre3 to 19.10.1 (369 bytes)

Builds

amd64

Built packages

ubuntu-settings default settings for the Ubuntu desktop

ubuntu-touch-settings default settings for Ubuntu Touch

ubuntu-web-launchers default web launchers for Ubuntu

Package files

ubuntu-settings_19.10.1.dsc (1.8 KiB)
ubuntu-settings_19.10.1.tar.xz (23.6 KiB)
ubuntu-settings_19.10.1_all.deb (5.3 KiB)
ubuntu-touch-settings_19.10.1_all.deb (3.1 KiB)
ubuntu-web-launchers_19.10.1_all.deb (16.4 KiB)