On 2021-Oct-31, Zhihong Yu wrote:
> It seems there were some missing words in one of the comments.> > See patch attached.
You're right. Fix pushed, thanks.
-- Álvaro Herrera Valdivia, Chile — https://www.EnterpriseDB.com/