Merge branch 'fix-manual-width-crasher-squashed'

8 jobs for master in 281 minutes and 7 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Test
passed #13171
x86_64 stretch debian
debian_stretch_x86_64_deb

00:37:15

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

00:20:33

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

00:20:43

passed #13178
stretch arm raspbian
raspbian_stretch_armv7l_deb

01:13:21

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

00:36:51

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

00:32:27

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

00:45:25

passed #13177
i386 windows
windows_i386_innosetup

01:27:46