mirror of
https://github.com/postgres/postgres.git
synced 2025-05-12 16:21:30 +03:00
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