On 2020-11-25 20:35, Pavel Stehule wrote:
I checked this patch, and I didn't find any issue.make check-world passed make doc passed I'll mark it as ready for committer
This has been committed. Thanks. -- Peter Eisentraut 2ndQuadrant, an EDB company https://www.2ndquadrant.com/
