Merge branch 'wiki-summary' into 'master'
Passed
Lucas Nussbaum
created pipeline for commit
d12066f4
, finished
For master
8 minutes 36 seconds, queued for 3 seconds