https://gitlab.gnome.org/GNOME/gjs/merge_requests/122 is now merged, all the other merge requests linked to in https://gitlab.gnome.org/GNOME/gnome-shell/issues/64 are now merged. Daniel could we have soon have a -proposed package of backports of these fixes up for testing? :)
https:/ /gitlab. gnome.org/ GNOME/gjs/ merge_requests/ 122 is now merged, all the other merge requests linked to in https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues/ 64 are now merged. Daniel could we have soon have a -proposed package of backports of these fixes up for testing? :)