Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Plasma
Plasma Desktop
Merge requests
!795
Merged
Created
Jan 10, 2022
by
Carl Schwan
@carlschwan
🚴
Developer
Options
Use new SearchField component
Overview
2
Commits
1
Pipelines
4
Changes
1