Hi all,
because of tremendous server problems that are forcing me to migrate all my
websites to another host, I'll be discontinuing zighinetto.org mirror of
Open MPI. It's been a pleasure to share spare bandwidth across this time,
but I currently need to discontinue the server and the new host
Hi Jeff,
I just checked the new mirror for Union Jack but I still see the jolly
roger. I checked local mail and verified that the update script was ran
successfully every day.
I did a manual synchronization (and this time I got no error), when_mirrored
file was correctly set for tonight's