Dear port maintainer,
The portscout new distfile checker has detected that one or more of your
ports appears to be out of date. Please take the opportunity to check
each of the ports listed below, and if possible and appropriate,
submit/commit an update. If any ports have already been updated,
On 2020-04-06 20:12, Niclas Zeising wrote:
Hi!
Looking at the PR, it seems that Tobias had a couple of comments that
still need to be addressed.
Regards
Sorry, my fault: some of those notes slipped me by.
I'll post a new patch.
bye & Thanks
av.