Skip to content

gh-152142: Fix inverted DOMBuilderFilter result for notation declarations#152143

Open
tonghuaroot wants to merge 1 commit into
python:mainfrom
tonghuaroot:fix-notation-decl-filter
Open

gh-152142: Fix inverted DOMBuilderFilter result for notation declarations#152143
tonghuaroot wants to merge 1 commit into
python:mainfrom
tonghuaroot:fix-notation-decl-filter

gh-152142: Fix inverted DOMBuilderFilter result for notation declarat…

14512b6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
DO-NOT-MERGE
succeeded Jun 25, 2026 in 5s