Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
LimaGroup
Lima
Merge requests
!160
Merged
Created
May 25, 2020
by
Laurent Claustre
@claustre
Owner
Options
Resolve "release 1.9.4"
Overview
0
Commits
1
Pipelines
2
Changes
1
Closes
#110 (closed)
Edited
May 25, 2020
by
Laurent Claustre