mirror of
https://github.com/postgresml/pgcat.git
synced 2026-05-31 23:19:05 +00:00
7987c5ffad
* Replace a few types with more developer-friendly names * UserPool -> PoolIdentifier