lalrpop
PR for 0.19.9 release #718
nikomatsakis
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi @lalrpop/maintainers -- first off, let's start using Discussions to coordinate instead of email (also, anyone who is on this team but who doesn't want to be actively involved, please feel free to remove yourself, no hard feelings!).
I've opened a PR for the 0.19.9 release:
#717
Beta Was this translation helpful? Give feedback.
All reactions