mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 11:07:30 +08:00
606c384598
Author: Jürgen Purtz <juergen@purtz.de> Discussion: https://postgr.es/m/95f90a5d-7692-701d-2c0c-0c88eb5cea7d@purtz.de