8.0.2
7e9183f2 · Merge pull request #9234 from readthedocs/release/8.0.2 ·