mirror of
https://github.com/postgres/postgres.git
synced 2025-10-31 00:03:57 -04:00
cf5ce5aa70
Copy-and-pasteo in 665c5855e, evidently. The 9.6 docs toolchain whined about duplicate index entries, though our modern toolchain doesn't. In any case, these GUCs surely are not about the default settings of these values.