mirror of
https://github.com/postgres/postgres.git
synced 2026-06-15 04:59:03 -04:00
d19669e5f9
found and solved by Boszormenyi Zoltan <zb@cybertec.at>, some small adjustments by me.