Merge branch 'patch-3' into 'master'

Small refactoring of graphviz_draw.

See merge request !42
3 jobs for master in 66 minutes and 41 seconds (queued for 21 minutes and 20 seconds)
Status Job ID Name Coverage
  Test
passed job_clang_amd64 #5064
amd64

00:59:33

passed job_clang_cxx_amd64 #5065
amd64

00:25:54

passed job_gcc_amd64 #5063
amd64

00:48:16