mirror of
https://github.com/postgres/postgres.git
synced 2025-11-17 00:02:52 -05:00
For better or worse, it is implemented in mixed case, so document it as such, at least in the main listing, like DateStyle. Josh Kupershmidt