d0bb05930a
Sylvio's last commit was 17 months ago, a full 5 months after all of his ports could have been reset per policy. Given the push to complete staging (48 ports are still unstaged, something like 70+ have already been staged by other committers) and given that PRs are automatically assigned but never addressed, it's better just to reset all the ports and PRs so that it's clear to others that these ports are free to maintain. Approved by: portmgr (implicit) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |