Re: [jlreq] Pre-release tasks for JLReq errata update (#141)

Are there any remaining tasks? Let’s finish this up. #140 is a maintenance work and does not block the release.

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

Received on Tuesday, 14 July 2020 22:48:46 UTC