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