Re: [webauthn] use `<xmp>` uniformly for WebIDL fragments?

Done in #949.

-- 
GitHub Notification of comment by emlun
Please view or discuss this issue at https://github.com/w3c/webauthn/issues/943#issuecomment-396998220 using your GitHub account

Received on Wednesday, 13 June 2018 16:18:14 UTC