Re: [webauthn] cleanup easy issues WD-06

I'm happy merging either way. I prefer to avoid making two changes to these names, but it's not a huge deal to me.

GitHub Notification of comment by jyasskin
Please view or discuss this issue at using your GitHub account

Received on Tuesday, 13 June 2017 17:34:14 UTC