Merge branch 'define-custom-gui-path'

10 jobs for master in 346 minutes and 48 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #10188
i386 jessie debian
debian_jessie_i386_deb

00:28:50

passed #10189
x86_64 jessie debian
debian_jessie_x86_64_deb

00:38:32

passed #10190
x86_64 stretch debian
debian_stretch_x86_64_deb

00:33:07

passed #10194
dmg v10.11 osx
osx_10.11_x86_64_dmg

00:19:22

passed #10195
dmg v10.8 osx
osx_10.8_x86_64_dmg

00:17:49

passed #10197
stretch arm raspbian
raspbian_stretch_armv7l_deb

00:55:14

passed #10191
i386 v14.04 ubuntu
ubuntu_14.04_i386_deb

00:39:48

passed #10192
x86_64 v14.04 ubuntu
ubuntu_14.04_x86_64_deb

00:35:24

passed #10193
x86_64 v16.04 ubuntu
ubuntu_16.04_x86_64_deb

00:45:19

passed #10196
i386 windows
windows_i386_innosetup

01:28:31