mirror of
https://github.com/postgres/postgres.git
synced 2025-07-24 14:22:24 +03:00
Clean up after someone's curious idea that it'd be good to strip
leading zeroes from the SQLSTATE codes. They're strings, people, not numbers.
This commit is contained in: