debian/20180908-2

Tobias Frost

@tobi

dfb8eef8 · Recommend gnome-tweaks instead of gnome-tweak-tool. (Closes: #917783) · Dec 30, 2018

gnome-shell-extension-autohidetopbar Debian release 20180908-2