Hi, On 2022-04-07 14:01:14 +0700, John Naylor wrote: > On Thu, Apr 7, 2022 at 1:40 PM Andres Freund <and...@anarazel.de> wrote: > > Bumps catversion. > > Looks like this part didn't make it.
Damn. I think it was automatically resolved away by git when rebasing, because 5c279a6d350 contained the same change. git reflog shows that the commit ontop of a8cfb0c1a96 still had it. Then I rebased onto 5c279a6d350 and it was gone. I have another commit with a catversion bump queued up, so that'll take care of that. Greetings, Andres Freund
