jrgemignani commented on PR #943: URL: https://github.com/apache/age/pull/943#issuecomment-1641142045
> @jrgemignani should this be changed for PG13? And produce 2 more for PG12 and PG11? I'm going to have one other review this and then, provided everything is okay, merge it into the master. Assuming all goes well and there are no issues, you can create those additional PRs. -- 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]
