On 2025-Oct-28, Sami Imseih wrote: > getting rid of last_loc makes sense because the list is sorted. I like > this, definitely cleaner. > > One minor comment is to change is to remove the "let's save it" but > in the comments, as we are no longer saving a last_loc.
Ah, yeah, that's a good change. I have pushed it now. Thanks! -- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/ "Entristecido, Wutra (canción de Las Barreras) echa a Freyr a rodar y a nosotros al mar"
