At Mon, 12 Jun 2023 21:13:35 -0700, Andres Freund <andres@anarazel.de> wrote in
> Thanks for looking - I already had pushed the commit by the time I read your
> email, otherwise I'd have mentioned you reviewing it...
Oops! But I anticipated that and that's no problem (I should have
confirmed commits.). Thanks for the reply!
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center