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 build #1774
grouprunner

00:02:49

passed coverage #1775
grouprunner

00:04:36

93.0%
 
  Test
passed test #1776
grouprunner

00:02:11