Skip to content
GitLab
Explore
Sign in
GNOME
Files
Merge requests
!264
Implement new search information bar
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Soriano
requested to merge
implement-new-search-information-bar
into
master
Jul 13, 2018
Overview
0
Commits
3
Pipelines
2
Changes
5
Expand
Closes
#403 (closed)
Edited
Jul 13, 2018
by
Carlos Soriano
Merge request reports