On Sat, May 28, 2022 at 01:14:09PM -0700, Andres Freund wrote:> I pushed this bit too.
Thanks for taking care of that!--Michael