/4.2 went missing

Dear all,

apparently the 4.2 folder on our file server went missing.
This could possibly have happened when box2 had gone haywire.

Can anyone confirm?

Also, I have a Squeak4.2-10966 zip laying around, so if no-one
objects, I'll just put it there.

Best regards
        -Tobias

Hi Tobias,

I've just restored all the files and directories, served by
ftp.squeak.org, from the penultimate snapshot of box2. The list of
directories includes the 4.1 and 4.2 directories you mentioned before. You
can find the exact list in the admin log of box4.

Levente

On Wed, 1 Jul 2015, Tobias Pape wrote:

Hi Levente


On 01.07.2015, at 17:46, Levente Uzonyi <[hidden email]> wrote:

> Hi Tobias,
>
> I've just restored all the files and directories, served by ftp.squeak.org, from the penultimate snapshot of box2. The list of directories includes the 4.1 and 4.2 directories you mentioned before. You can find the exact list in the admin log of box4.
>

Thanks! Glad you got our back, once again ;)

Best regards
        -Tobias