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.