mirror of
https://github.com/postgres/postgres.git
synced 2026-05-30 12:35:06 -04:00
0d0b2bf175
Per discussion, this seems like a more consistent choice of name. Fabrízio de Royes Mello, after a suggestion by Peter Eisentraut; some additional documentation wordsmithing by me