mirror of
https://github.com/postgres/postgres.git
synced 2025-06-02 00:01:40 -04:00
case, per Florian Pflug. Not back-patched since it's unclear that anyone but me still cares ...
case, per Florian Pflug. Not back-patched since it's unclear that anyone but me still cares ...