mirror of
https://github.com/postgres/postgres.git
synced 2025-07-30 11:03:19 +03:00
9680728371
Reported-by: Adrien Nayrat Discussion: https://postgr.es/m/9d6a7515-bcd8-05be-d2a5-e81dc11023cd@anayrat.info