mirror of
https://github.com/postgres/postgres.git
synced 2026-06-18 06:29:21 -04:00
e6f9539dc3
While we've always allowed such cases, the documentation didn't say you could do it. Discussion: https://postgr.es/m/161969805833.690.13680986983883602407@wrigleys.postgresql.org