> - 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