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