Merge remote-tracking branch 'origin/issue_723'

3 jobs for master in 8 minutes and 19 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Builds
canceled #15709
shell
buildWindows

00:08:18

passed #15710
shell
test

00:00:00

failed #15711
docker
test2

00:03:56

 
Name Stage Failure
failed
test2 Builds
There were problems setting up VirtualBox.  To re-start the set-up process, run
/sbin/vboxconfig
as root.
$ vboxheadless
VBoxHeadless: Error -1909 in suplibOsInit!
VBoxHeadless: Kernel driver not accessible

VBoxHeadless: Tip! Make sure the kernel module is loaded. It may also help to reinstall VirtualBox.
ERROR: Job failed: exit code 1