current commit

210311.2 · Merge remote-tracking branch 'upstream/master'

<(git log)

• document/
• interpreter/
• papers/
• proposals/
• test/
• .gitattributes
• .gitignore
• .gitmodules
• .travis.yml
• Contributing.md
• LICENSE
• README.md
• deploy_key.enc
• w3c.json
• wasm-specs.bib