Merge branch 'master' into more_data_structures

3 jobs for more_data_structures in 6 minutes and 48 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #1774
grouprunner
build

00:02:49

passed #1775
grouprunner
coverage

00:04:36

93.0%
 
  Test
passed #1776
grouprunner
test

00:02:11