3.31.2 ====== * Remove obsolete alternate-tab extension [Florian; #786496] * Adjust to gnome-shell changes [Florian; #113] Contributors: Florian Müllner