Hi all, I'm separating the commit messages from the developers mailing list. The commit messages are manually opt-in for now, please let me know if you want to get those. Thanks, -Thomas