Fix possible crash when deleting a branch while filtering is active#4195

Merged

stefanhaller merged 1 commit intomasterfrom fix-crash-when-deleting-branch-while-filter-is-active

Feb 7, 2025

Commits on Feb 7, 2025

Fix possible crash when deleting a branch while filtering is active
stefanhaller
committed