mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 07:42:52 -04:00
82ff0cc91d
Per discussion, this behavior seems less astonishing than not doing so. Peter Eisentraut and Tom Lane Discussion: https://postgr.es/m/20180920234040.GC29981@momjian.us