Skip to content

Require galaxy-tool-util instead of galaxy-lib#143

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
nsoranzo:galaxy-tool-util
Jul 18, 2019
Merged

Require galaxy-tool-util instead of galaxy-lib#143
mvdbeek merged 1 commit intogalaxyproject:masterfrom
nsoranzo:galaxy-tool-util

Conversation

@nsoranzo
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Member

@bgruening bgruening left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool! Great work @nsoranzo!

@mvdbeek
Copy link
Copy Markdown
Member

mvdbeek commented Jul 18, 2019

So awesome!

@mvdbeek mvdbeek merged commit 32d90d2 into galaxyproject:master Jul 18, 2019
@nsoranzo nsoranzo deleted the galaxy-tool-util branch July 18, 2019 07:51
@nsoranzo
Copy link
Copy Markdown
Member Author

Thanks for the merge! If you can make a new ephemeris release, I have the changes ready to update also Planemo's galaxy-lib requirement.

@mvdbeek
Copy link
Copy Markdown
Member

mvdbeek commented Jul 18, 2019

Yep, just rebased #142 and will release after merging that one.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants