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.

-- 
[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]"

Reply via email to