mirror of
https://github.com/postgres/postgres.git
synced 2026-07-26 00:11:13 -04:00
378668d50b
Also fix commit message cut/paste mistake, and add "tar" markup.