Tom Lane wrote: > Yesterday was a holiday in much of the world. I would be surprised > if any of this stuff gets fixed before Monday. Easter Monday is also a holiday in several countries. That said, neither are holidays in the US. Kevin Kofler