Skip to content

Add missing types in xml.dom.minidom used by PyInstaller#9731

Merged
AlexWaygood merged 2 commits intopython:mainfrom
Avasam:xml-fixes-for-pyinstaller
Feb 19, 2023
Merged

Add missing types in xml.dom.minidom used by PyInstaller#9731
AlexWaygood merged 2 commits intopython:mainfrom
Avasam:xml-fixes-for-pyinstaller

Conversation

@Avasam
Copy link
Copy Markdown
Collaborator

@Avasam Avasam commented Feb 14, 2023

In xml.dom.minidom, typed Element.appendChild, Element.getElementsByTagName, Document.appendChild and Element.getElementsByTagName.
Needed for #9730

Avasam added a commit to Avasam/typeshed that referenced this pull request Feb 14, 2023
@github-actions

This comment has been minimized.

@github-actions
Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@AlexWaygood AlexWaygood merged commit 3fc2f27 into python:main Feb 19, 2023
@Avasam Avasam deleted the xml-fixes-for-pyinstaller branch February 19, 2023 21:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants