update portmanager to ver 0.2.5 1) Add handling of identical portnames from differing origins in port tree 2) Minor bug fix involving portmanager's handling of missing dependencies Fix: Note to comitter, portmanager/files is no longer needed as the patches are obsolete, this update is a new tarball. How-To-Repeat: N/A
State Changed From-To: open->closed Committed, thanks! Please, be careful with extrafiles in a patch (Makefile.rej).