Skip to content

A fix for the sphinx extension#742

Draft
tristanlatr wants to merge 2 commits intomasterfrom 728-fix-sphinx-ext