Closed chraibi closed 5 years ago
In Gitlab by @chraibi on Mar 3, 2017, 19:48
enabled an automatic merge when the pipeline for 582fa5759539e5aae63bfa6096dff1d65bdfaf1e succeeds
In Gitlab by @chraibi on Mar 4, 2017, 00:06
added 2 commits
In Gitlab by @chraibi on Mar 4, 2017, 00:55
closed
In Gitlab by @chraibi on Mar 4, 2017, 00:55
reopened
In Gitlab by @chraibi on Mar 4, 2017, 01:16
merged
In Gitlab by @chraibi on Mar 4, 2017, 01:16
mentioned in commit 5640bdc660d23114e94c0e785d71fc70976637b7
In Gitlab by @chraibi on Mar 3, 2017, 19:47 [origin]
Merges 241-initialize-pedestrians-from-file -> develop
Closes #241