Florian Müllner 6c6e3a8e76 portalHelper: Stop monkey-patching String.format() ...

It's not used, so no need to set it up.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2690>

2023-04-25 10:45:19 +00:00

..

main.js

portalHelper: Stop monkey-patching String.format()

2023-04-25 10:45:19 +00:00