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.

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 NamingEnumeration not closed #549

Closed
wants to merge 1 commit into from
Closed

fix NamingEnumeration not closed #549

wants to merge 1 commit into from

Conversation

antoine777
Copy link
Contributor

see Issue #489

@antoine777 antoine777 mentioned this pull request Mar 29, 2020
Closed
@rwinch
Copy link
Member

rwinch commented Mar 30, 2020

Thanks for the PR! Waiting for the travis build to be fixed. See #489 (comment)

@antoine777 antoine777 closed this Mar 31, 2020
@antoine777 antoine777 reopened this Mar 31, 2020
@michael-o
Copy link

Any chance to get this merged?

@michael-o
Copy link

Ping! @rwinch

@pivotal-cla
Copy link

@antoine777 Please sign the Contributor License Agreement!

Click here to manually synchronize the status of this Pull Request.

See the FAQ for frequently asked questions.

@perry2of5 perry2of5 mentioned this pull request Jan 4, 2022
Merged
@jzheaux
Copy link
Contributor

jzheaux commented Jan 18, 2022

Closing in favor of #609

@jzheaux jzheaux closed this Jan 18, 2022
@jzheaux jzheaux self-assigned this Jan 18, 2022
@jzheaux jzheaux added in: core status: superceded An issue that is superceded by another type: bug A general bug labels Jan 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jzheaux jzheaux

Labels
in: core status: superceded An issue that is superceded by another type: bug A general bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@antoine777 @rwinch @michael-o @pivotal-cla @jzheaux