mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 04:48:04 -04:00
989067bd22
by the set operation, so that redundant sorts at higher levels can be avoided. This was foreseen a good while back, but not done. Per request from Karel Zak.