View Single Post

   
  #4 (permalink)  
Old 04-12-2008, 05:26 AM
Tom Lane
 
Posts: n/a
Default 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

---------------------------(end of broadcast)---------------------------
TIP 6: explain analyze is your friend

Reply With Quote