On 2026-Jan-15, Japin Li wrote:
> Thanks for the review.> > I've fixed it according to your suggestion.
Thanks! Unless somebody hates this, I'll get it pushed quickly.
-- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/