Skip to content

Merge pull request #1234 from PeterHjortLauritzen/issue1233_preserve_… #566

Merge pull request #1234 from PeterHjortLauritzen/issue1233_preserve_…

Merge pull request #1234 from PeterHjortLauritzen/issue1233_preserve_… #566

Triggered via push February 5, 2025 19:59
Status Success
Total duration 28s
Artifacts
issue_closer
19s
issue_closer
Fit to window
Zoom out
Zoom in