Skip to content

Add support for +cov optimization subtype

Marco Clemencicrequested to merge
cherry-pick-0b30075f into v29-patches

See merge request !519 (merged)

(cherry picked from commit 0b30075f)

d55fb413 Add support for +cov optimization subtype

Merge request reports