Hi,I've pushed (and backpatched) all the fixes posted to this thread. I believe that covers all the incremental sort fixes, so I've marked [1] as committed.
[1] https://commitfest.postgresql.org/31/2754/ regards -- Tomas Vondra EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
