Incorporate changes from @jceb's review
Passed
jurgenhaas
created pipeline for commit
9b8ba032
, finished
For master
1 minute 49 seconds, queued for 1 seconds