Skip to content

fix: annotation shortcut not properly freed on deletion#567

Open
manuel-castro wants to merge 1 commit intomasterfrom
manuel-annotation-shortcut-fix
Open

fix: annotation shortcut not properly freed on deletion#567
manuel-castro wants to merge 1 commit intomasterfrom
manuel-annotation-shortcut-fix

Commits

Commits on Jul 23, 2021