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.
