mozilla-servo/mozjs — pull request #11 by jdm (2014-05-16 18:21:11+00:00)
Title: Upgrade SpiderMonkey

Pull in hg revision 5ecd532a167e.