On Mon, 2015-10-26 at 01:04 +0100, Bastien Nocera wrote: > Did you file a bug against gnome-music for this?
No, but I should have; done now: https://bugzilla.gnome.org/show_bug.cgi?id=757119 _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
