On 08.07.22 22:03, Tom Lane wrote:> I think this is ready to go (don't forget the catversion bump).
This is done now, after a brief vpath-shaped scare from the buildfarm earlier today.