Doc: make html display the tag name instead of the commit hash.
#1835
Loading
make html display the tag name instead of the commit hash.
#1835