Merge branch 'master' into issue-89-update-page-flags

10 jobs for issue-89-update-page-flags in 21 minutes and 31 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Install
passed #7857
linux
linux:install

00:00:56

passed #7858
osx
osx:install

00:00:52

 
  Build
passed #7859
linux
linux:build

00:06:02

passed #7860
osx
osx:build

00:11:14

 
  Test
passed #7867
linux
linux:test

00:02:35

passed #7866
osx
osx:test

00:04:09

failed #7861
linux
linux:test

00:02:37

failed #7862
osx
osx:test

00:04:00

 
  Benchmark
passed #7863
linux
linux:benchmark

00:03:03

passed #7864
osx
osx:benchmark

00:04:32