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.

Sign up for GitHub

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

Jump to bottom

fix type hint annoyance #908

Merged

rmorshea merged 3 commits into main from fix-key-hint

Feb 3, 2023

Collaborator

rmorshea commented Feb 3, 2023

Checklist

Please update this checklist as you complete each item:

Tests have been included for all bug fixes or added functionality.
The changelog.rst has been updated with any significant changes.
GitHub Issues which may be closed by this Pull Request have been linked.


          fix type hint annoyance

9cf644a

rmorshea marked this pull request as ready for review

February 3, 2023 02:28

Archmonger previously approved these changes

View reviewed changes


          add changelog

rmorshea dismissed Archmonger’s stale review via

February 3, 2023 02:29


          Merge branch 'main' into fix-key-hint

c985f17

rmorshea merged commit c8adf95 into main

rmorshea deleted the fix-key-hint branch

February 3, 2023 02:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment