Merge branch 'bugfix/25-kill-on-timeout' into 'dev'
Bugfix: Kill on timeout Closes #25 and #4 See merge request !5
No related branches found
No related tags found
Checking pipeline status
Loading
-
mentioned in commit vidjil@2208ab8b
By Mikaël Salson on 2019-02-12T18:49:57 (imported from GitLab project)
By Mathieu Giraud on 2019-02-12T18:49:57 (imported from GitLab)
Please register or sign in to comment