Skip to content

Merge pull request #3808 from ralfhandl/fix/editors-of-3.0.0 #2

Merge pull request #3808 from ralfhandl/fix/editors-of-3.0.0

Merge pull request #3808 from ralfhandl/fix/editors-of-3.0.0 #2

Triggered via push May 16, 2024 16:59
Status Success
Total duration 17s
Artifacts
Fit to window
Zoom out
Zoom in