Hi, I would like to request a freeze break for https://bugzilla.gnome.org/show_bug.cgi?id=780166. It is unfortunate that I only uncovered the bug after code freeze, but then the issue is quite sneaky: Gjs was updated to a more recent version of the mozjs library which dropped some functions that were proposed-but-rejected for the Ecma standard. It turns out we are using one of those in Polari, and as a result the '/help' command no longer works. The attached patch fixes the issue by replacing the removed function with a standardized replacement - it is a one-line change that fixes the command, so I would like to get it in for the release.
Thanks, Florian
_______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
