Skip to content

Merge pull request #3928 from rettinghaus/fix/fontname #1829

Merge pull request #3928 from rettinghaus/fix/fontname

Merge pull request #3928 from rettinghaus/fix/fontname #1829

Triggered via push January 31, 2025 19:07
Status Success
Total duration 1m 32s
Artifacts
Matrix: formatting-check
Fit to window
Zoom out
Zoom in