Ross Paterson wrote:
> I agree completely, but I was wistfully hoping that we could do a
> release even sooner. (It will be a bit of a re-org, killing options.h
> as well.)
Rest assured: I don't want to do this re-org before the release, just some
other minor cleanups... :-)
Cheers,
S.