Fixed issue #2133 (crash in editor search&replace)#2142
Merged
klayoutmatthias merged 1 commit intomasterfrom Sep 6, 2025
Merged
Fixed issue #2133 (crash in editor search&replace)#2142klayoutmatthias merged 1 commit intomasterfrom
klayoutmatthias merged 1 commit intomasterfrom
Commits
Commits on Sep 4, 2025
- committed
Matthias Koefferlein