Dear port maintainers,
The portscout new distfile checker has detected that one or more
unmaintained 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. Please consider also adopting this po
> On 17. Jun 2023, at 02:27, Danilo G. Baio wrote:
>
>
>
>> On Fri, Jun 16, 2023, at 17:55, Yuri wrote:
>> It looks like portscout is stuck again.
>>
>> The numbers changed once 27+ hours ago, and didn't change again.
>>
>> Normally portscount updates numbers at least several times a day.
