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

OrderedDict is no longer a necessary workaround for clangd #464

Merged
merged 1 commit into from Nov 15, 2018

Conversation

rwols
Copy link
Member

@rwols rwols commented Nov 13, 2018

No description provided.

@rwols rwols force-pushed the bugfix/ordered-dict-no-longer-necessary branch from 41f6e81 to 744d877 Compare November 14, 2018 18:46
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.3%) to 27.981% when pulling 744d877 on bugfix/ordered-dict-no-longer-necessary into b0f0022 on master.

@rwols rwols merged commit c0313aa into master Nov 15, 2018
@rwols rwols deleted the bugfix/ordered-dict-no-longer-necessary branch November 15, 2018 13:37
@rwols rwols added this to the Release 0.8 milestone Nov 15, 2018
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.

None yet

3 participants