> As Tom's mentioned the other day, we're looking at doing up v7.1.1 on
> Tuesday, and starting in on v7.2 ...
>
> Does anyone have any outstanding fixes for v7.1.x that they
> want to see in *before* we do this release? Any points unresolved
> that anyone knows about that we need to look at?
Hiroshi reported about startup problem yesterday - we should fix this
for 7.1.1...
Vadim