Subject: Renumbering new releases


I am ok with 1.0
On Thu, Apr 18, 2019 at 6:10 PM Andrew Musselman <[EMAIL PROTECTED]>
wrote: