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

Use kernel.value instead of kernel.name #847

Merged

tmke8 merged 1 commit into main from different-enum-solution

Jan 23, 2023

Member

tmke8 commented Jan 23, 2023

It's the same anyway, but maybe mypy will one day understand it this
way.


          Use kernel.value instead of kernel.name

bca0ea5

It's the same anyway, but maybe mypy will one day understand it this
way.

tmke8 enabled auto-merge (squash)

January 23, 2023 18:45

tmke8 merged commit 89c2d92 into main

tmke8 deleted the different-enum-solution branch

January 23, 2023 18:54

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

Labels

None yet