Fini Jastrow efe57c44fd Fix: Merge pull request #1179 ...

[why]
The font-patcher check workflow fails because the font used for testing
is gone (replaced by differently named one).

[how]
Correct file names.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

2023-04-27 18:59:32 +02:00

..

ISSUE_TEMPLATE

Update bug_report.md

2022-12-21 17:18:33 +01:00

workflows

Fix: Merge pull request #1179

2023-04-27 18:59:32 +02:00

PULL_REQUEST_TEMPLATE.md

Remove mentions of master branch [skip ci]

2022-10-17 11:50:53 +02:00