Skip to content
GitLab
Explore
Sign in
GNOME
evince
Merge requests
!219
fix hover for highlight annotations
Code
Review changes
Check out branch
Download
Patches
Plain diff
Germán Poo-Caamaño
requested to merge
gpoo/fix-hover-for-highlight-annotations
into
master
Feb 09, 2020
Overview
1
Commits
3
Pipelines
3
Changes
6
Expand
Fixes
#696 (closed)
and alternative for MR
!218 (merged)
Merge request reports