Closed nathanfallet closed 2 years ago
@mbarnach Anyway the PR gets merged?
Thanks for the PR. Let me fix up the CI issue, then I'll merge it.
SonarCloud Quality Gate failed.
0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells
No Coverage information
94.9% Duplication
Fixes #22