=== guiverc2 is now known as guiverc
=== bdrung_ is now known as bdrung
[13:02] <KGB-2> gnome-shell-extension-hide-activities Jelmer Vernooij 334412 * commented merge request !4 * https://deb.li/iQYti
=== brassado is now known as sam_sepi0l
=== Eickmeyer is now known as NotEickmeyer
=== Eickmeyer[l] is now known as Eickmeyer