[stable35] fix(comparison): make source line labels extractable - #9214

[stable35] fix(comparison): make source line labels extractable#9214

hweihwang wants to merge 1 commit into

stable35nextcloud/text:stable35from

collectives-599/t1-source-labels-stable35nextcloud/text:collectives-599/t1-source-labels-stable35Copy head branch name to clipboard