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
Flatland
Flatland
Merge requests
!129
Merged
Created
Jul 25, 2019
by
Erik Nygren
@mlerik
🚅
Owner
Options
At switches now conflicts are only detected if agent has option to choose head on colliding path
Overview
1
Commits
1
Pipelines
1
Changes
2
very minor change in the way conflicts are detected. This closes
#128 (closed)