Merge branch 'master' into rtoy-update-clx-with-cmucl-fixes

2 jobs from rtoy-update-clx-with-cmucl-fixes in 26 minutes and 18 seconds (queued for 7 minutes and 58 seconds)
Status Job ID Name Coverage
  Test
passed #1300
linux
linux-runner

00:17:57

passed #1301
osx
osx-runner

00:08:20