> But do it soon, so we can get it in, as we are trying to finalize a
release.

_Very_ soon. Developer release D12 is planned for this week; I'm mostly
waiting for some minor packaging and documentation changes.

Reply via email to