Skip to content
This repository has been archived by the owner on Apr 10, 2024. It is now read-only.

fix: minor naming issue #92

Merged
merged 1 commit into from
Apr 19, 2023
Merged

fix: minor naming issue #92

merged 1 commit into from
Apr 19, 2023

Conversation

csviri
Copy link
Collaborator

@csviri csviri commented Apr 18, 2023

No description provided.

@csviri csviri self-assigned this Apr 18, 2023
@sonarcloud
Copy link

sonarcloud bot commented Apr 18, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

100.0% 100.0% Coverage
0.0% 0.0% Duplication

@csviri csviri merged commit d82e972 into main Apr 19, 2023
@csviri csviri deleted the naming-issue branch April 19, 2023 07:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant