Attachment #185084
Proposed patch relative to /usr/ports patch 2017-08-06 11:19:03 UTC 505 bytes no flags Details