Skip to content

Merge pull request #457 from mkurz/correct_previous_version #118

Merge pull request #457 from mkurz/correct_previous_version

Merge pull request #457 from mkurz/correct_previous_version #118

Triggered via push October 5, 2023 13:17
Status Success
Total duration 34s
Artifacts
update_release_draft
23s
update_release_draft
Fit to window
Zoom out
Zoom in