mirror of
https://github.com/postgres/postgres.git
synced 2026-05-27 19:15:03 -04:00
80ac853f05
They have been unneeded since the use of the string module has been
removed in a65ed83f8a.