Learn more about these different git repos.
Other Git URLs
1a6eefe
Merge branch master into devel0.6 0.6.1 related changes