> - We have both js and mozjs17. js is still used by gjs, libpeas,
> libproxy-mozjs and gnome-shell. Possible savings: 7M

I thought Colin was fixing everything to use mosjz17. Is that a F-20
thing?

Bill
-- 
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to