Skip to content
Snippets Groups Projects
user avatar
Robert Haas authored
If it turns out we've locked the wrong OID, release the old lock.  In
most cases, it's pretty harmless to retain the extra lock, but this
seems tidier and avoids using lock table slots unnecessarily.

Per discussion with Tom Lane.
aa3299f2
History
Name Last commit Last update
..