Skip to content

Dev - #637

Merged
Jaromir Kaspar (jaromirk) merged 3 commits into
masterfrom
dev
Aug 14, 2025
Merged

Dev#637
Jaromir Kaspar (jaromirk) merged 3 commits into
masterfrom
dev

Merge pull request #632 from Karl-WE/patch-6

7d2a37c
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded Aug 14, 2025 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Microsoft GitHub Policy Service