On Thu, Oct 8, 2009 at 8:13 PM, William Stein <wst...@gmail.com> wrote: > Hi, > > The server migration that I announced below has started. > I expect it will be complete within an hour. > > -- William >
OK, everything is done. Please report problems, noting that DNS can take a while still, depending on where you are. William --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "mpir-devel" group. To post to this group, send email to mpir-devel@googlegroups.com To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en -~----------~----~----~----~------~----~------~--~---