Merge remote-tracking branch 'origin/master'

# Conflicts:
#	docs/library.rst
3 jobs for master in 56 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #178306
build_docs

00:00:40

 
  Publish
passed #178307
pages

00:00:15

 
  Deploy
passed pages:deploy

00:00:00