7.2.0
26e371b6 · Merge pull request #8898 from readthedocs/release/7.2.0 ·