News

Final move to GitHub
/As announced in previous posts, this is the third and last step to GitHub after moving to an organization profile, renaming the repositories and moving comments to issues.
Read more »
Comments to GitHub issues
/33 posts in the documentation generated around 600 comments. All of them were replied but support via comments has now reached its limit.
Read more »