Skip to content

Be consistent in how items are removed from selection#5643

Merged
Wumpf merged 1 commit intomainfrom andreas/fix-remove-not-deselectingMar 22, 2024

Commits

Commits on Mar 22, 2024