branch of the `git.git` repository.
Documentation for older releases are available here:
-* link:v1.8.0/git.html[documentation for release 1.8.0]
+* link:v1.8.0.1/git.html[documentation for release 1.8.0.1]
* release notes for
- link:RelNotes/1.8.0.txt[1.8.0],
+ link:RelNotes/1.8.0.1.txt[1.8.0.1],
+ link:RelNotes/1.8.0.txt[1.8.0].
* link:v1.7.12.4/git.html[documentation for release 1.7.12.4]