Re: [webauthn] Rename MakePublicKeyCredentialOptions?

I will create a PR to do this unless I hear objections.

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

Received on Tuesday, 6 February 2018 02:29:14 UTC