ProblemNavigationContext: Fix incorrect link target for file:line links with…

Authored by thomassc on Sep 4 2019, 2:50 PM.