Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix: glob processing (fixes #11940) #11986
What is the purpose of this pull request? (put an "X" next to item)
[X] Bug fix: #11940
What changes did you make? (Give an overview)
This PR fixes glob processing to iterate target files. The new way is similar to how shell passes globs to programs. I.e., if there are files that the glob matched, it adopts the matched files. Otherwise, it adopts the glob string as is.
Is there anything you'd like reviewers to focus on?
Nothing in particular.