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
Utilities
Kate
Merge requests
!51
Merged
Created
Dec 02, 2019
by
Dominik Haumann
@dhaumann
Developer
Options
Fix translation of external tools
Overview
3
Commits
1
Changes
1
BUG: 181528