Peter Samuelson wrote: > Looks like you just need to wait 4 more days. Lenny isn't frozen yet, > not for optional packages. OK, thanks. (I was under the impression that some sort of intervention was required in order to undo a removal.) -- Thomas