mirror of
https://github.com/postgres/postgres.git
synced 2026-06-02 22:08:41 -04:00
5d2f957f3f
Sometimes it's useful for a background worker to be able to initialize its database connection by OID rather than by name, so provide a way to do that.