mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 06:57:30 +08:00
This was missing from 88bdbd3. Author: Christoph Berg, Justin Pryzby Discussion: https://postgr.es/m/20190403215938.GA26375@alvherre.pgsql Discussion: https://postgr.es/m/20190330224333.GQ5815@telsasoft.com