I just tried pulling, but timed out. Dmitry.
- [petsc-dev] petsc-dev hg server still hosed? Dmitry Karpeev
- [petsc-dev] petsc-dev hg server still hosed? Satish Balay
- [petsc-dev] petsc-dev hg server still hosed? Hong Zhang
- [petsc-dev] petsc-dev hg server still hosed? Satish Balay
- [petsc-dev] petsc-dev hg server still hosed? Dmitry Karpeev
- [petsc-dev] petsc-dev hg server still hosed? Dima Karpeyev
