Skip to content

Conversation

redcatbear
Copy link
Collaborator

PR was #123, not #122.

@redcatbear redcatbear self-assigned this Nov 16, 2023
@redcatbear redcatbear added the documentation User guides, tutorials, specifications label Nov 16, 2023
@redcatbear redcatbear enabled auto-merge (squash) November 16, 2023 13:41
Copy link

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

No Coverage information No Coverage information
No Duplication information No Duplication information

@redcatbear redcatbear merged commit 5bd0533 into main Nov 16, 2023
@redcatbear redcatbear deleted the Fixed_123_pr_number branch November 16, 2023 13:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation User guides, tutorials, specifications
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants