mirror of
https://github.com/postgres/postgres.git
synced 2025-08-19 23:22:23 +03:00
to the documented API value. The previous code got it right as it's implemented, but accepted too much/too little compared to the API documentation. Per comment from Zdenek Kotala.