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"