Skip to content

feat(gui): report actual sections in copy-to feedback#87

Merged
dustenhubbard merged 1 commit into
mainfrom
fix/copy-to-feedback
Jul 21, 2026
Merged

feat(gui): report actual sections in copy-to feedback#87
dustenhubbard merged 1 commit into
mainfrom
fix/copy-to-feedback

Commits

Commits on Jul 21, 2026