mirror of
https://github.com/postgres/postgres.git
synced 2025-10-18 04:29:09 +03:00
formatting (\timing) works correctly. Change "Total time" to "Time" since there is nothing that "total" refers to. Remove non-multibyte code.