ProblemHighlighter: Fix mark type handling

Authored by thomassc on Apr 13 2019, 7:34 PM.

Description

ProblemHighlighter: Fix mark type handling

Details

Committed
thomasscMay 27 2019, 8:55 AM
Parents
R32:9e836be2e457: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown