Julien Rouhaud <rjuju123@gmail.com> writes:
> On Mon, Feb 07, 2022 at 02:00:25PM -0500, Tom Lane wrote:
>> Not too surprisingly, these patches broke during the commitfest.
>> Here's a rebased version.
>> I'm not sure that anyone wants to review these in detail ...
>> should I just go ahead and push them?
> I don't see anything shocking after a quick glance, and I don't think any
> review is going to give any more confidence compared to the script-dep-testing
> script, so +1 for pushing them since the cf bot is green again.
Done, will watch the farm.
regards, tom lane
