Merge branch 'change-default-fontsize'

10 jobs for master in 336 minutes and 10 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Test
passed debian_jessie_i386_deb #11166
debian jessie i386

00:30:34

passed debian_jessie_x86_64_deb #11167
debian jessie x86_64

00:28:09

passed debian_stretch_x86_64_deb #11168
debian stretch x86_64

00:33:04

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

00:22:39

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

00:22:47

passed raspbian_stretch_armv7l_deb #11175
raspbian arm stretch

00:55:44

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

00:35:05

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

00:30:42

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

00:35:25

passed windows_i386_innosetup #11174
windows i386

01:37:40