Skip to content

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

Merge pull request #1234 from PeterHjortLauritzen/issue1233_preserve_…

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

Triggered via push February 5, 2025 20:03
Status Success
Total duration 30s
Artifacts
issue_closer
17s
issue_closer
Fit to window
Zoom out
Zoom in