Skip to content
GitLab

[v9_11] Resolve ""SUMMARY: .*Sanitizer" grep is dangerous"

Merged Michał Kępień requested to merge 1431-summary-sanitizer-grep-is-dangerous-v9_11 into v9_11

(cherry picked from commit 36ce99d8)

Edited by Michał Kępień

Merge request reports