mozilla/servo — pull request #813 by jdm (2013-08-28 19:47:54+00:00)
Title: Make window.close() close the window.

Fixes #671.