Hello,

just in case someone was waiting for a more formal announcement regarding the close of frozen state for GIT repository, then it is now open for new development.

Thanks again to all that helped to make stable branch v3.1.x happen.

Daniel