Question of port name change

Jose R.Rey king at
Thu Oct 9 01:21:25 PDT 2003


Recently one of the ports i maintain has changed the project name,
ive been thinking if i need to make a new port and mark as deleted the 
old one,
or make a diff and submit as usual, what will be the best option?

More information about the freebsd-ports mailing list