mirror of
https://github.com/postgres/postgres.git
synced 2025-06-03 00:02:26 -04:00
Now that we have a test that requires nondefault settings to pass, it seems like we'd better mention that detail in the directions about how to run the tests. Also do some very minor copy-editing.