Skip to content

Conversation

@paolopas
Copy link
Contributor

also renamed GLOB/GLOB_ARCHIVE parameter case-insensitive to downcase-opt to follow the existing documentation (which better explain its meaning.)

renamed GLOB/GLOB_ARCHIVE parameter case-insensitive to downcase-opt to
follow the existing documentation (which explain better its meaning).
@grafikrobot grafikrobot merged commit 8d0d3f5 into bfgroup:main Jan 21, 2026
109 of 110 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