Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
west-public
West
Commits
Commit
e20e0db3
authored
Oct 19, 2020
by
Marco Govoni
Browse files
Merge branch 'bugfix' into 'develop'
Bugfix See merge request west-devel/West!27
parents
598316f6
3515e35c
Pipeline
#2555
failed with stages
in 5 minutes and 48 seconds
Changes
12
Pipelines
1