Skip to content

Solved minor fixes#718

Merged
nprol merged 1 commit into15.x.x-developfrom
bug/minor-fixes
Jan 12, 2026
Merged

Solved minor fixes#718
nprol merged 1 commit into15.x.x-developfrom
bug/minor-fixes

Conversation

@nprol
Copy link
Contributor

@nprol nprol commented Jan 8, 2026

No description provided.

@nprol nprol linked an issue Jan 8, 2026 that may be closed by this pull request
4 tasks
@nprol nprol merged commit 57de8f5 into 15.x.x-develop Jan 12, 2026
1 check passed
@nprol nprol deleted the bug/minor-fixes branch January 12, 2026 08:33
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.

Minor fixes

2 participants

Comments