plasma-umass/doppio — pull request #309 by deathcap (2014-05-15 01:46:20+00:00)
Title: Merge master branch into natives_refactor

Fixes https://github.com/plasma-umass/doppio/issues/304 on the natives_refactor branch (browser compilation fails, but I think that's a known issue). Couldn't get this branch to build otherwise because it depends on the older DefinitelyTyped definitions.