mirror of
https://github.com/postgres/postgres.git
synced 2026-05-31 04:48:04 -04:00
3c4447fd97
Fix synopsis info thanks to Yves.Martin@ensimag.imag.fr.