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

Make rmdirr public #337

Merged
merged 1 commit into from
Apr 26, 2016
Merged

Make rmdirr public #337

merged 1 commit into from
Apr 26, 2016

Conversation

VicDeo
Copy link
Member

@VicDeo VicDeo commented Apr 26, 2016

Fixes #336

@VicDeo VicDeo added this to the 9.1-current milestone Apr 26, 2016
@mention-bot
Copy link

By analyzing the blame information on this pull request, we identified @LukasReschke and @scrutinizer-auto-fixer to be potential reviewers

@PVince81
Copy link
Contributor

👍

@LukasReschke @DeepDiver1975 second review ?

@PVince81
Copy link
Contributor

@karlitschek backport ?

@VicDeo VicDeo mentioned this pull request Apr 26, 2016
Merged
@karlitschek
Copy link

makes sense. please backport 👍

@PVince81
Copy link
Contributor

@VicDeo when you do backports or PRs, it is best if you could add a comment so we get a notification when it's done. Thanks

@PVince81 PVince81 merged commit 2419b22 into master Apr 26, 2016
@PVince81 PVince81 deleted the fix-336 branch April 26, 2016 17:08
@PVince81
Copy link
Contributor

stable9: #338

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
sev1-critical
Projects
None yet
Milestone
9.1
Development

Successfully merging this pull request may close these issues.
4 participants
@VicDeo @mention-bot @PVince81 @karlitschek