On Wed, Mar 18, 2020 at 09:29:55PM +0100, Peter Eisentraut wrote:> OK, I have committed the regcollation patch, and some surrounding cleanup of> the reg* types documentation.
Thanks, Peter.--Michael