On Thu, Aug 03, 2017 at 10:24:00PM +0200, Patrik Lundin wrote:
> Thanks for spotting that. New diff against fresh ports tree below (and
> now portcheck is happy as well).

Since there have been no further feedback, is there a chance the latest
diff can get commited?

Patrik Lundin

Reply via email to