Skip to content

Update to latest galaxy-lib.#6709

Merged
nsoranzo merged 1 commit intogalaxyproject:devfrom
jmchilton:galaxy-lib-update-20180913
Oct 5, 2018
Merged

Update to latest galaxy-lib.#6709
nsoranzo merged 1 commit intogalaxyproject:devfrom
jmchilton:galaxy-lib-update-20180913

Conversation

@jmchilton
Copy link
Copy Markdown
Member

@jmchilton jmchilton commented Sep 13, 2018

Includes:

@jmchilton
Copy link
Copy Markdown
Member Author

jmchilton commented Sep 13, 2018

Needs galaxyproject/galaxy-lib#134 now also. (Added).

@jmchilton jmchilton force-pushed the galaxy-lib-update-20180913 branch from 312636f to 5b8ae3e Compare September 13, 2018 17:15
@jmchilton jmchilton changed the title [WIP] Update to latest galaxy-lib. Update to latest galaxy-lib. Sep 14, 2018
@galaxybot galaxybot added this to the 19.01 milestone Sep 14, 2018
@nsoranzo nsoranzo merged commit 13d92c0 into galaxyproject:dev Oct 5, 2018
@nsoranzo nsoranzo deleted the galaxy-lib-update-20180913 branch October 5, 2018 11:59
@nsoranzo
Copy link
Copy Markdown
Member

nsoranzo commented Oct 5, 2018

@jmchilton Should we get galaxyproject/galaxy-lib#132 and galaxyproject/galaxy-lib#136 merged in the release_18.09 branch ASAP?

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants