Doc: make html display the tag name instead of the commit hash. (#1…
#1212
| Job | Run time |
|---|---|
| 41m 46s | |
| 41m 46s |
make html display the tag name instead of the commit hash. (#1…
#1212
| Job | Run time |
|---|---|
| 41m 46s | |
| 41m 46s |