On Mon, 2013-06-24 at 09:14 -0400, Bill Nottingham wrote: > > - 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? It missed f19, yes.