On Thu, Aug 12, 2021 at 03:55:54PM +0200, Holger Wansing wrote: >Hi, > >John Paul Adrian Glaubitz <[email protected]> wrote (Wed, 11 Aug >2021 22:36:01 +0200): >> > So, there's issues with more than one mirror ... at least at the moment. >> >> I just gave it a try and all downloads worked for me without any issues >> (downloaded from DFN). > >Hrrr, you are right. >No space left on device
oops! Meh, we've all done that kind of thing... :-) -- Steve McIntyre, Cambridge, UK. [email protected] "We're the technical experts. We were hired so that management could ignore our recommendations and tell us how to do our jobs." -- Mike Andrews

