fix(comparison): make source line labels extractable - #9211

fix(comparison): make source line labels extractable#9211

hweihwang wants to merge 1 commit into

mainnextcloud/text:mainfrom

collectives-599/t1-source-labelsnextcloud/text:collectives-599/t1-source-labelsCopy head branch name to clipboard