Skip to content

Make selection history global instead of per recordings#5739

Merged
jleibs merged 4 commits intomainfrom antoine/global-selection-historyApr 2, 2024

Commits

Commits on Apr 2, 2024