Skip to content

Fix underscores in config option#1567

Merged
jmchilton merged 2 commits intogalaxyproject:masterfrom
bernt-matthias:topic/config_underscores
Oct 3, 2025
Merged

Fix underscores in config option#1567
jmchilton merged 2 commits intogalaxyproject:masterfrom
bernt-matthias:topic/config_underscores

Conversation

@bernt-matthias
Copy link
Collaborator

@bernt-matthias bernt-matthias commented Oct 3, 2025

Thanks to @mvdbeek and @pavanvidem

@jmchilton jmchilton enabled auto-merge October 3, 2025 13:19
@jmchilton jmchilton merged commit 4b41597 into galaxyproject:master Oct 3, 2025
13 of 14 checks passed
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.

2 participants