Skip to content

Explicitly delete SphinxDomain objects from previous versions#5945

Merged
ericholscher merged 2 commits intomasterfrom fix-sphinxdomain-deleteJul 17, 2019

Commits

Commits on Jul 17, 2019