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

Backport Defer class for 2.10 #7032

Merged
merged 1 commit into from Mar 19, 2019
Merged

Backport Defer class for 2.10 #7032

merged 1 commit into from Mar 19, 2019

Conversation

dnsmichi
Copy link
Contributor

refs #6989

@dnsmichi dnsmichi added the core/quality Improve code, libraries, algorithms, inline docs label Mar 19, 2019
@dnsmichi dnsmichi added this to the 2.10.4 milestone Mar 19, 2019
@dnsmichi dnsmichi self-assigned this Mar 19, 2019
@dnsmichi dnsmichi merged commit c9d27e7 into support/2.10 Mar 19, 2019
@dnsmichi dnsmichi deleted the feature/backport-defer branch March 19, 2019 10:28
@dnsmichi dnsmichi mentioned this pull request Mar 19, 2019
Merged
@dnsmichi dnsmichi added the backported Fix was included in a bugfix release label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@dnsmichi dnsmichi

Labels
backported Fix was included in a bugfix release core/quality Improve code, libraries, algorithms, inline docs
Projects
None yet
Milestone
2.10.4
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@dnsmichi