At Mon, 12 Jun 2023 21:13:35 -0700, Andres Freund <and...@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