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

Fixed #671.