mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
3277e69b8e
The new pg_test_timing --cutoff option (commit 0b096e379e) appeared
out of order in the documentation and the code. Fix that.