Skip to content

Conversation

woodruffw
Copy link
Member

Closes #76.

Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw self-assigned this Jan 24, 2024
@woodruffw woodruffw requested review from tetsuo-cpp and jku January 24, 2024 19:53
Copy link
Contributor

@tetsuo-cpp tetsuo-cpp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@tetsuo-cpp tetsuo-cpp merged commit bd90115 into main Jan 25, 2024
@tetsuo-cpp tetsuo-cpp deleted the ww/globglob branch January 25, 2024 04:29
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.

Suport for ** globs
2 participants