Merge branch 'fix-pd-tilde'

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

00:30:42

passed #9783
x86_64 jessie debian
debian_jessie_x86_64_deb

00:38:40

passed #9784
x86_64 stretch debian
debian_stretch_x86_64_deb

00:35:16

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

00:21:19

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

00:18:24

passed #9791
stretch arm raspbian
raspbian_stretch_armv7l_deb

00:53:48

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

00:45:00

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

00:34:43

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

00:44:40

passed #9790
i386 windows
windows_i386_innosetup

01:23:40