mirror of
https://github.com/postgres/postgres.git
synced 2026-06-25 10:08:06 -04:00
378668d50b
Also fix commit message cut/paste mistake, and add "tar" markup.