mirror of
https://github.com/postgres/postgres.git
synced 2025-09-02 04:21:28 +03:00
780add2c32
Per suggestions from Justin Pryzby. Discussion: https://postgr.es/m/20220925215009.GC21938@telsasoft.com