On Mon, Jul 27, 2026 at 10:43 PM Tom Lane <tgl@sss.pgh.pa.us> 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
