Re: Ding-dong, contrib is dead ...

Andrew - Supernews <andrew+nonews@supernews.com> writes:
> Userlock needs to go into core, not get removed; this was discussed in a
> previous "let's clean up contrib/" thread.

Something like it ought to go into core, but personally I'd opt for
taking the opportunity to redesign the API, which was a bit crufty to
begin with.  That would eliminate all question of whether the clean room
was clean enough.
        regards, tom lane