Board Thread:General Discussion/@comment-9548103-20121130163009/@comment-9548103-20121204152753

If nobody else votes beyond today, then the actions will bo considered final, and the merge will happen, as it's leaning that way.