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

Feature/label dict #1711

Merged
merged 9 commits into from
Oct 13, 2021
Merged

Conversation

apeyser
Copy link
Contributor

@apeyser apeyser commented Oct 12, 2021

label_dict does not behave like a dict #1535

So I added a few members to the python label_dict and functionality to label_dict_proxy.

@apeyser
Copy link
Contributor Author

apeyser commented Oct 12, 2021

Fixes #1535 by Helveg -- at least partially.

@apeyser
Copy link
Contributor Author

apeyser commented Oct 12, 2021

Updates pybind11 to 2.8 as well.

Copy link
Contributor

@thorstenhater thorstenhater left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A few minor suggestions and stylistic things.

@apeyser apeyser force-pushed the feature/label_dict branch from 56080ca to 460adac Compare October 12, 2021 20:27
@apeyser apeyser force-pushed the feature/label_dict branch from 460adac to 898d090 Compare October 12, 2021 20:38
Copy link
Contributor

@thorstenhater thorstenhater left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

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