
        Merge pull request #11 from servo/master

Verified

This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.

GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits

eb2c7e0

syncing upstream