March 10, 2016
11:32 a.m.
Chris Jerdonek added the comment: It looks like the issue I previously filed on the Sphinx tracker was migrated here: https://github.com/sphinx-doc/sphinx/issues/996 . But the patch I submitted seems to have been dropped. ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue15693> _______________________________________