Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Pin galaxy-tool-util to >=24.0.2 #1470

Closed
wants to merge 1 commit into from

Conversation

nsoranzo
Copy link
Member

Follow-up on #1420 which should have included these version bumps.

Follow-up on galaxyproject#1420 which
should have included these version bumps.
@mvdbeek mvdbeek enabled auto-merge July 16, 2024 15:39
@nsoranzo
Copy link
Member Author

Superseded by #1471 .

@nsoranzo nsoranzo closed this Jul 17, 2024
auto-merge was automatically disabled July 17, 2024 11:08

Pull request was closed

@nsoranzo nsoranzo deleted the fix_requirements branch July 17, 2024 11:08
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants