On Sat, Feb 6, 2021 at 7:40 PM Andres Freund <and...@anarazel.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
