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.

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

Add labels to selection options of the collection flattening tool #4791

Merged
merged 1 commit into from Oct 12, 2017

Conversation

Projects
None yet
2 participants
@guerler
Contributor

guerler commented Oct 12, 2017

No description provided.

@guerler guerler added this to the 18.01 milestone Oct 12, 2017

@guerler guerler added status/review and removed status/WIP labels Oct 12, 2017

@guerler guerler changed the title from Add labels to selection options of the collection flattening operation tool to Add descriptive labels to selection options of the collection flattening operation tool Oct 12, 2017

@guerler guerler changed the title from Add descriptive labels to selection options of the collection flattening operation tool to Add labels to selection options of the collection flattening tool Oct 12, 2017

@jmchilton

This comment has been minimized.

Member

jmchilton commented Oct 12, 2017

Thanks for the clarification!

@jmchilton jmchilton merged commit 49f62e7 into galaxyproject:dev Oct 12, 2017

6 checks passed

api test Build finished. 303 tests run, 4 skipped, 0 failed.
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
framework test Build finished. 161 tests run, 0 skipped, 0 failed.
Details
integration test Build finished. 57 tests run, 0 skipped, 0 failed.
Details
lgtm analysis: JavaScript No alert changes
Details
toolshed test Build finished. 579 tests run, 0 skipped, 0 failed.
Details

@jmchilton jmchilton added area/tools and removed minor labels Oct 12, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment