* New upstream release (LP: #1269916) * debian/rules: remove alternative-status-menu and xrandr extensions, these have been removed upstream * debian/gnome-shell-extensions.gsettings-override: removed, no longer useful * debian/watch: watch for stable versions