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)
commit46d0318ec3513ef03061c9fefde59edc163ccdd4
tree730820184f5d249f7c75041517493df01547dd6c
parent0f39d0b976d7e96daf70803dfb587e87cf4a50df
parentcce3388bf92668f55151722fe077255e01904ac3
Merge pull request #6453 from bluebrother/statistics-dsl-fix-titles

Statistics: DSL: fix titles