mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 01:47:37 +08:00
those names. (Debug and None were pretty bad names anyway.) I hope I catched all uses of the names in comments too.
those names. (Debug and None were pretty bad names anyway.) I hope I catched all uses of the names in comments too.