mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Compare doc/conf.py after merge atc9480f994to what it was at2ee033838. It loses the modification from #8716 (merged at38c614347) and thus reverts doc/conf.py to former font config using mathpazo.