[13:02] <KGB-2> gnome-shell-extension-hide-activities Jelmer Vernooĳ 334412 * commented merge request !4 * https://deb.li/iQYti