Skip to content

improve find_program#6229

Merged
waruqi merged 1 commit intodevfrom
find
Mar 19, 2025
Merged

improve find_program#6229
waruqi merged 1 commit intodevfrom
find

Conversation

@waruqi
Copy link
Member

@waruqi waruqi commented Mar 18, 2025

@waruqi waruqi added this to the v2.9.9 milestone Mar 18, 2025
@waruqi waruqi merged commit 8ed7230 into dev Mar 19, 2025
44 checks passed
@waruqi waruqi deleted the find branch March 19, 2025 01:05
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.

1 participant