Merge pull request #6453 from bluebrother/statistics-dsl-fix-titles
authorFlorian Eckert <redacted>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
committerGitHub <redacted>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
Statistics: DSL: fix titles


Trivial merge
git clone https://git.99rst.org/PROJECT