mirror of
https://github.com/postgres/postgres.git
synced 2026-10-23 13:29:09 +03:00
d9d235510e
Change formatting and chars to be less of a match against actual formatting characters. Reported-by: Phil Discussion: https://postgr.es/m/177801333530.795.16999885814007014333@wrigleys.postgresql.org Backpatch-through: 19