On Sat, Feb 6, 2021 at 7:40 PM Andres Freund <andres(at)anarazel(dot)de> wrote:
> Looks like a mistake on my part... Probably a rename regex that somehow
> went wrong - I went back and forth on those names way too many
> times. Want me to push the fix?
Yes, please do. I could do it myself, but better that you do it
yourself, just in case.
--
Peter Geoghegan