Minor fix

14 jobs for develop in 26 minutes and 10 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Docker Login
passed docker_login #14960
docker sci ubuntu

00:00:17

 
  Ci
passed ci:osx #14964
sci osx-10.13

00:10:41

passed ci:ubuntu_bionic #14963
docker sci ubuntu

00:08:22

passed ci:ubuntu_trusty #14961
docker sci ubuntu

00:07:53

passed ci:ubuntu_xenial #14962
docker sci ubuntu

00:07:47

passed ci:windows #14965
sci windows-10

00:07:42

 
  Deploy
passed deploy:osx #14969
sci osx-10.13

00:13:43

passed deploy:ubuntu_bionic #14968
docker sci ubuntu

00:00:27

passed deploy:ubuntu_trusty #14966
docker sci ubuntu

00:00:36

passed deploy:ubuntu_xenial #14967
docker sci ubuntu

00:00:35

passed deploy:windows #14970
sci windows-10

00:02:18

 
  Clean
passed clean:docker #14971
docker sci ubuntu

00:00:29

passed clean:osx #14972
sci osx-10.13

00:00:33

passed clean:windows #14973
sci windows-10

00:01:24