Hi! > > > Yes, a diff against the port prior to it's deletion. This way it can > > > be resurrected and patched. > > > > I submitted PR with patch: > > https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=207468 > > Thanks, I'm working on it.
Committed. I needed time to figure out the resurrection part. -- [email protected] +49 171 3101372 4 years to go ! _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
