Alvaro Herrera <alvherre@commandprompt.com> writes:
> I think a warning comment is warranted here -- will include it when I
> commit the patch.
I was thinking the same, but didn't want to create a merge problem for
you. Maybe "Individual lock IDs end here" or some such?
regards, tom lane