On 12/5/07, Daniel Berlin <dberlin@dberlin.org> wrote: > Patch manager will be dying for a week or two while i change hosting. > > of course, if nobody is still using it, i can just kill it permanently. > What is the patch manager?