08.02.2018 15:46, Olivier Fourdan wrote: [...] > I think this is a different issue from bug 767212, so IMHO best would be > to file a new issue in https://gitlab.gnome.org/GNOME/mutter and post > the existing reproducer you guys provided in bug 767212.
Thank you, done: https://gitlab.gnome.org/GNOME/mutter/issues/27 Regards Michael -- Michael Thayer | VirtualBox engineer ORACLE Deutschland B.V. & Co. KG | Werkstr. 24 | D-71384 Weinstadt ORACLE Deutschland B.V. & Co. KG Hauptverwaltung: Riesstraße 25, D-80992 München Registergericht: Amtsgericht München, HRA 95603 Komplementärin: ORACLE Deutschland Verwaltung B.V. Hertogswetering 163/167, 3543 AS Utrecht, Niederlande Handelsregister der Handelskammer Midden-Nederland, Nr. 30143697 Geschäftsführer: Alexander van der Ven, Jan Schultheiss, Val Maher _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
