Starting with v1.2.1 currently under development, subversion is replaced by the more modern git source control tool.
It’s also the opportunity to split the source code into two distinct repositories for the user interface and mdx, since they can be worked on independently. A third repository should follow for the documentation.
The master branches for [...]