Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Implement document.open and document.close #15303
Heads up! This PR modifies the following files:
added a commit
this pull request
Feb 1, 2017
Nice work. Lots of TODOs, but I think it's worth landing these changes without trying to coordinate with the session history stuff right now.