mirror of
https://github.com/postgres/postgres.git
synced 2026-06-01 13:28:44 -04:00
ae507d9222
It was intended to be this way all along, just like other planner GUCs such as work_mem. But I goofed.