v7.2
6b9f3bc3 · CI: do not test documentation for release branches and tags ·