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

[18.09] Fix new extract dataset tool to preserve collection element identifier. #6692

Merged
merged 1 commit into from
Sep 12, 2018
Merged

[18.09] Fix new extract dataset tool to preserve collection element identifier. #6692

merged 1 commit into from
Sep 12, 2018

Conversation

jmchilton
Copy link
Member

@jmchilton jmchilton commented Sep 11, 2018 •
edited
Loading

xref #6312

@jmchilton jmchilton requested a review from mvdbeek September 11, 2018 18:04
@mvdbeek mvdbeek merged commit 8026612 into galaxyproject:release_18.09 Sep 12, 2018
@mvdbeek mvdbeek added this to the 18.09 milestone Sep 12, 2018
@galaxyproject galaxyproject deleted a comment from galaxybot Sep 12, 2018
@nsoranzo nsoranzo deleted the 1809_fix_extract_name branch September 12, 2018 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mvdbeek mvdbeek mvdbeek approved these changes

Assignees
No one assigned
Labels
area/dataset-collections area/tools kind/bug kind/enhancement minor
Projects
None yet
Milestone
18.09
Development

Successfully merging this pull request may close these issues.
2 participants
@jmchilton @mvdbeek