Hi, On 2022-05-29 10:18:50 -0500, Justin Pryzby wrote: > On Sat, Feb 26, 2022 at 05:46:26PM -0800, Andres Freund wrote: > > On 2022-02-25 17:52:29 -0800, Andres Freund wrote: > > > I'd like to commit 0001 and 0002 soon, unless somebody sees a reason not > > > to? > > > > Pushed. > > If I'm not wrong, this isn't being run by check-world.
Oops, yes. Thanks for catching!