On Mon, Jul 27, 2026 at 10:43 PM Tom Lane <[email protected]> wrote: > Pushed. BTW, while I was doing that I noticed that your predecessor > commits (f4c850d11, aa50f4f02) assigned the same catversion 202607271 > in both branches. That's not good practice: it's likely that there > are already other discrepancies between v19 and v20 catalogs, and > in any case the whole point of the catversion mechanism is to prevent > confusion. You can use the same date in both branches, but use > different last digits. In my change, I used 202607272 for v19 and > 202607273 for master.
That's good to know! Thanks for making the change. - Richard
