mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-04 06:57:40 +08:00
contrib functionality. Along the way, remove the USER_LOCKS configuration symbol, since it no longer makes any sense to try to compile that out. No user documentation yet ... mmoncure has promised to write some. Thanks to Abhijit Menon-Sen for creating a first draft to work from.