K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2013-03-09T23:49:02.201550Z
K 7
svn:log
V 155
Make check_deps behave the same as check_PRs:
propose to skip removing a port if anything depends on it, instead of infinite looping on "ignore the issue"

END