On 2026-Mar-04, zhanghu wrote: > Hi Álvaro, > > Thank you for pointing that out. > > I have fixed the additional occurrence you mentioned and updated the patch > accordingly.
Thanks, I have pushed 0001. I don't intend to look at 0002 though, sorry. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ Are you not unsure you want to delete Firefox? [Not unsure] [Not not unsure] [Cancel] http://smylers.hates-software.com/2008/01/03/566e45b2.html
