mirror of
https://github.com/postgres/postgres.git
synced 2025-07-11 10:01:57 +03:00
e56ccc8e42
Commit 3cffe7946c missed this. Back-patch
to v17, which introduced this.
Discussion: https://postgr.es/m/CAJ7c6TM7ct0EjoCQaLSVYoxxnEw4xCUFebWj77GktWsqEdyCtQ@mail.gmail.com