Gabor Pali 7c9d3894a4 Backport fix for issue #3212 ... PR: 221116 Submitted by: pgj Approved by: araujo (maintainer) Obtained from: https://github.com/sphinx-doc/sphinx/issues/3212 MFH: 2017Q3		2017-08-03 18:49:46 +00:00
..
patch-b03b7e543f5e135d046d2fe407def219336c12b2
patch-sphinx_writers_html.py