Re: [9fans] Clearing venti arena during install

[Russ Cox]

> This is a much better solution -- I didn't realize this was
> imminent.  Thanks!

I don't know if I'd say imminent.  But on its way.