"PR" milestone -> "PropRec" ?

• From: =JeffH <Jeff.Hodges@KingsMountain.com>
• Date: Wed, 9 May 2018 08:57:39 -0700
• To: W3C Web Authn WG <public-webauthn@w3.org>
• Message-ID: <6241cfaa-20ed-0b76-563d-82f0a392fe8a@KingsMountain.com>

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 15:58:05 UTC