Merge branch 'ci'

2 jobs for master in 1 minute and 50 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #443315
Build (WxWidgets)

00:01:49

passed #443313
Build (X11/Motif)

00:01:02