Skip to content
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.

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

Fix naming exposure #117

Merged
merged 20 commits into from
Nov 26, 2024
Merged

Fix naming exposure #117

merged 20 commits into from
Nov 26, 2024

Conversation

davidsantiagoquevedo
Copy link
Member

Small PR changing "exposition" to "exposure" to improve correctness in the use of terms.

Copy link

This pull request:

  • Adds 0 new dependencies (direct and indirect)
  • Adds 0 new system dependencies
  • Removes 1 existing dependencies (direct and indirect)
  • Removes 1 existing system dependencies

(Note that results may be inaccurate if you branched from an outdated version of the target branch.)

@davidsantiagoquevedo davidsantiagoquevedo merged commit 4ed2af1 into main Nov 26, 2024
8 checks passed
@davidsantiagoquevedo davidsantiagoquevedo deleted the fix-naming-exposure branch November 26, 2024 17:01
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.

4 participants