Andrea Veri commented:
This should be fixed by now:
Florian Müllner master ba97e8d gnome-shell js/ui/magnifier.js magnifier: Add missing import * https://git.gnome.org/browse/gnome-shell/commit/?id=ba97e8d
Thanks!
Andrea Veri commented:
This should be fixed by now:
Florian Müllner master ba97e8d gnome-shell js/ui/magnifier.js magnifier: Add missing import * https://git.gnome.org/browse/gnome-shell/commit/?id=ba97e8d
Thanks!