mirror of
https://github.com/postgres/postgres.git
synced 2026-06-11 01:46:50 -04:00
712e77e3df
From: Frank Ridderbusch <ridderbusch.pad@sni.de>