On 2017-12-15 13:12, Joshua Root wrote: > After some more time with this change I found another reason to dislike > it. Since 'leaves' now contains a mix of ports with dependents and > without, you can't always just uninstall a single port from the list. > > I understand this new "all the stuff that can be removed" set is useful, > but I want my leaves back.
Okay. So let's keep both 'leaves' and 'rleaves'. That also solves the naming problem, I guess. I am going to revert my changes and restore what Dan had submitted in the pull request. Rainer
