mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-04-09 22:29:04 +08:00
Apparently, computers are now a bit faster than when this was first added, so we need to make room for a digit or two in the ops/sec format. While we're at it, adjust some of the other output for a more consistent line length.