On Thu, Jul 19, 2018 at 11:49:12AM +0100, Stuart Henderson wrote: > On 2018/07/19 12:41, Rafael Sadowski wrote: > > On Mon Jul 16, 2018 at 12:16:21PM +0200, Andreas Kusalananda Kähäri wrote: > > > > > > Hi, > > > > > > I noticed the other day that the shells/ksh93 port stopped building due > > > to none of the distfiles being available. > > I've just put a copy of these on my mirror and updated MASTER_SITES in the > port, but it shouldn't have prevented the port from building as they're > available on ftp.openbsd.org.
... except that the port has a DIST_SUBDIR... I fixed that very recently when I got MASTER_SITE_BACKUP cleaned up.