Hi all,

I would like to release 1.2.10 within the next few days.  That would be about a month since the release of 1.2.9 (released March 3rd), which is the rhythm I would like us to have going forward.

I may target this weekend, if not, then sometime next week.

Let me know if there are any blockers.

For the documentation, I'm planning to ship the one from 1.2.8, until we can figure out how to compile the most up-to-date documentation on any linux flavor or at least the popular ones like Ubuntu and Fedora.