Merge pull request #6453 from bluebrother/statistics-dsl-fix-titles
authorFlorian Eckert <fe@dev.tdt.de>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
Statistics: DSL: fix titles


Trivial merge