branch of the `git.git` repository.
Documentation for older releases are available here:
+* link:v1.7.2/git.html[documentation for release 1.7.2]
+
+* release notes for
+ link:RelNotes-1.7.2.txt[1.7.2].
+
* link:v1.7.1.1/git.html[documentation for release 1.7.1.1]
* release notes for