[01:15] <jbicha> Trevinho: I pushed mutter and gnome-shell 3.28.1 to salsa
[01:16] <jbicha> of course, our gnome-shell has diverged from Debian so you don't need to push patches there now