Skip to content

fix hover for highlight annotations

Fixes #696 (closed) and alternative for MR !218 (merged)

Merge request reports