> > As you probably realized, it's now back to normal. Our network > > provider made a mistake. > > No, problem still (or again?) exists. OK, maybe I was premature. I sent a merge yesterday that went through correctly, and I believe others are too. What's happening for you? -- Martin