mirror of https://github.com/postgres/postgres
The userId field of the principal key info has never been used since
it was introduced in commit 210c95cf00
so we can safely remove it.
pull/209/head
parent
2b94887a34
commit
1dc74bdfac
Loading…
Reference in new issue