Skip to content

Add stubs for inifile #10270

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 7, 2023
Merged

Add stubs for inifile #10270

merged 1 commit into from
Jun 7, 2023

Conversation

dairiki
Copy link
Contributor

@dairiki dairiki commented Jun 7, 2023

Here are stubs for inifile (github, pypi).

It's old and not particularly widely used, but we use it in Lektor and its plugins and are starting to work on type annotations there.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions
Copy link
Contributor

github-actions bot commented Jun 7, 2023

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

@JelleZijlstra JelleZijlstra merged commit 89a22f9 into python:main Jun 7, 2023
@dairiki dairiki deleted the feat.inifile branch June 7, 2023 22:34
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