jrgemignani commented on PR #1467: URL: https://github.com/apache/age/pull/1467#issuecomment-1874203864
> @jrgemignani Is there a need for PRs on PG16 when it is already merged in master(which is PG16 now)? Yes. I'm going to start the release process for PG16 -> PG11. So, they need all need to be at the same point. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
