New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Re-export selectors' CaseSensitivity enum as it is part of our public API. #108

Merged

cfvescovo merged 1 commit into causal-agent:master from adamreichold:also-re-export-case-sensitivity

Feb 26, 2023

Contributor

adamreichold commented Feb 26, 2023

Closes #105


          Re-export selectors' CaseSensitivity enum as it is part of our public…

794b5ee

… API.

cfvescovo self-requested a review

February 26, 2023 10:13

cfvescovo approved these changes

View reviewed changes

cfvescovo merged commit 9a6a638 into causal-agent:master

adamreichold deleted the also-re-export-case-sensitivity branch

February 26, 2023 12:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment