Skip to content

Conversation

@kraszkow
Copy link
Contributor

No description provided.

@kraszkow kraszkow changed the base branch from master to devel November 14, 2025 13:42
Copy link
Collaborator

@atafra atafra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks correct! I just added one minor nitpick regarding indentation :) Thanks!

@kraszkow kraszkow requested a review from atafra November 17, 2025 08:27
@kraszkow kraszkow marked this pull request as ready for review November 17, 2025 08:27
@kraszkow kraszkow merged commit dc8e6ea into devel Nov 19, 2025
23 of 24 checks passed
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.

3 participants