On Thu, Jul 19, 2018 at 12:41:53PM +0200, 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.
Nope, it was actually a bug in mirror handling that got fixed since then. The backup copy on ftp.openbsd.org is alive and well.
