Merge pull request #258223 from OroraTech/fix/propagated-sphinx
authored by Artturi and committed by GitHub 2 years ago 183df628 2bcd37e6