pgsql: Rename enable_incrementalsort for clarity

2020-07-05 Thread Peter Eisentraut
Rename enable_incrementalsort for clarity Author: James Coleman Discussion: https://www.postgresql.org/message-id/flat/df652910-e985-9547-152c-9d4357dc3979%402ndquadrant.com Branch -- master Details --- https://git.postgresql.org/pg/commitdiff/e61225ffab3f8726ecd053b1c22ff249c417f9ba

pgsql: Rename enable_incrementalsort for clarity

2020-07-05 Thread Peter Eisentraut
Rename enable_incrementalsort for clarity Author: James Coleman Discussion: https://www.postgresql.org/message-id/flat/df652910-e985-9547-152c-9d4357dc3979%402ndquadrant.com Branch -- REL_13_STABLE Details --- https://git.postgresql.org/pg/commitdiff/94e454cddfbae5e32ae7bb70fedd24f243c