Revision history  [back]

If you are OK with doing "git clone", then take the version from the repository it is almost always better than the latest release. We always run all test cases before pushing to the master branch.