- From: Anthony Nadalin <tonynad@microsoft.com>
- Date: Wed, 9 May 2018 16:01:58 +0000
- To: =JeffH <Jeff.Hodges@KingsMountain.com>, W3C Web Authn WG <public-webauthn@w3.org>
Just deal with it, its fine the way it is -----Original Message----- From: =JeffH <Jeff.Hodges@KingsMountain.com> Sent: Wednesday, May 9, 2018 8:58 AM To: W3C Web Authn WG <public-webauthn@w3.org> Subject: "PR" milestone -> "PropRec" ? AFAIK, in github.com, one can change the names of milestones without messing anything up. So I'm inclined to change the "PR" milestone title to be "PropRec" because "PR" is confusable with PR as in pull request.... WDYT? =JeffH
Received on Wednesday, 9 May 2018 16:02:25 UTC