If any platform owners don't have time to do this today, let me know how I can help.
On Oct 1, 2013, at 11:11 AM, Andrew Grieve <agri...@chromium.org> wrote: > I think all that needs > to happen now is for all platform owners to update their JS snapshot again > and push a "3.1.0" tag.
