On Wed, Sep 28, 2011 at 03:48:27PM +0200, Anthony Mallet wrote: > I think the following patch should be applied to pkg_delete. > Otherwise, pkg_delete -R -r sometimes does not delete all possible leaves. I think you're right, and so I've committed the patch. Thanks! Thomas