At least there were no new commits merged on github, but that is no definite answer for your question, sorry.

Dia