Skip to content

Fix/small fixes - #478

Merged
djenczewski merged 2 commits into
develfrom
fix/small-fixes
Aug 11, 2026
Merged

Fix/small fixes#478
djenczewski merged 2 commits into
develfrom
fix/small-fixes

Conversation

@Uriagat

@Uriagat Uriagat commented Aug 11, 2026

Copy link
Copy Markdown
Member

No description provided.

@Uriagat
Uriagat requested a review from djenczewski August 11, 2026 11:59
@Uriagat Uriagat self-assigned this Aug 11, 2026
@djenczewski
djenczewski merged commit 6bfbe99 into devel Aug 11, 2026
2 checks passed
@djenczewski
djenczewski deleted the fix/small-fixes branch August 11, 2026 12:30
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.

2 participants