mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 13:47:40 +08:00
Of course, what it removes is leading zeroes. Seems to have been a thinko in commit ffe92d15d53625d5ae0c23f4e1984ed43614a33d. Noted by Hubert Depesz Lubaczewski.