Was this an accident?
.Seth
Yes and no. I didn't want to commit it but I needed it to solve my
proxy problem: turns out that's the change between 2.0 and git master
that drives it into crashing. Not sure what's going on, need to
investigate.
Robin