On Tue, Jan 22, 2019 at 07:13:54PM +0100, Willem Jan Withagen wrote:
> On 22-1-2019 16:45, Mathieu Arnold wrote:
> > On Tue, Jan 22, 2019 at 03:35:51PM +0100, Willem Jan Withagen wrote:
> > > On 22/01/2019 15:29, Mathieu Arnold wrote:
> > > > On Tue, Jan 22, 2019 at 10:42:16AM +0100, Willem Jan Wit
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, you