Skip to content
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

Typing parent #1101

Merged
merged 3 commits into from
Jun 6, 2020
Merged

Typing parent #1101

merged 3 commits into from
Jun 6, 2020

Conversation

Milly
Copy link
Contributor

@Milly Milly commented Jun 6, 2020

Fix typing in parent.py.
The implementation has not changed.

Change platform detection code, because MyPy recognized PEP0484.
See: python/mypy#8547

@codecov-commenter
Copy link

Codecov Report

Merging #1101 into master will not change coverage.
The diff coverage is 0.00%.

@@           Coverage Diff           @@
##           master    #1101   +/-   ##
=======================================
  Coverage   49.17%   49.17%           
=======================================
  Files          18       18           
  Lines         974      974           
=======================================
  Hits          479      479           
  Misses        495      495           

@Shougo Shougo merged commit a1bdd7b into Shougo:master Jun 6, 2020
@Shougo
Copy link
Owner

Shougo commented Jun 6, 2020

Thanks!

@Milly Milly deleted the typing-parent branch June 6, 2020 11:45
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.

3 participants