Merge branch 'add/debian-stretch' into 'master'
Passed
Erick Hitter
created pipeline for commit
ae008b76
, finished
For master
7 minutes 25 seconds, queued for 5 seconds