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

Bug fix in mulled.py #3434

Merged
merged 1 commit into from
Jan 17, 2017
Merged

Bug fix in mulled.py #3434

merged 1 commit into from
Jan 17, 2017

Conversation

abdulrahmanazab
Copy link
Contributor

This bug was causing running docker with sudo while it should not

@abdulrahmanazab
Bug fix in mulled.py
9f4add7 
This bug was causing running docker with sudo while it should not
@bgruening
Copy link
Member

Thanks @abdulrahmanazab!

@galaxybot galaxybot added this to the 17.05 milestone Jan 17, 2017
@dannon
Copy link
Member

dannon commented Jan 17, 2017

Thanks, +1

@dannon dannon merged commit 910bbdf into galaxyproject:dev Jan 17, 2017
@bgruening
Copy link
Member

Thanks for the merge Dannon!

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
kind/bug
Projects
None yet
Milestone
17.05
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@abdulrahmanazab @bgruening @dannon @martenson @galaxybot