Skip to content

Fix some issues highlighted by SonarCloud#1200

Merged
egonw merged 1 commit intomainfrom
fixes/9Jul
Jul 9, 2025
Merged

Fix some issues highlighted by SonarCloud#1200
egonw merged 1 commit intomainfrom
fixes/9Jul

Conversation

@johnmay
Copy link
Copy Markdown
Member

@johnmay johnmay commented Jul 9, 2025

Fixes #1198

@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Jul 9, 2025

@egonw egonw merged commit 770b0fd into main Jul 9, 2025
10 of 11 checks passed
@johnmay johnmay deleted the fixes/9Jul branch July 9, 2025 16:31
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.

There are currently four issues identified in SonarQube

2 participants