not going to get recorded as a merge - I amended your commit to change the version to 18.10.1 -- https://code.launchpad.net/~didrocks/ubuntu/+source/ubuntu-settings/+git/ubuntu-settings/+merge/350879 Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/ubuntu-settings:master.
-- ubuntu-desktop mailing list ubuntu-desktop@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop