CodeMining: reuse existing inlined annotations when minings are unchanged#3580

tobiasmelcher wants to merge 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

tobiasmelcher:find_existing_annotation_by_code_miningtobiasmelcher/eclipse.platform.ui:find_existing_annotation_by_code_miningCopy head branch name to clipboard