Skip to content

Merge pull request #798 from mkurz/update/patches #53

Merge pull request #798 from mkurz/update/patches

Merge pull request #798 from mkurz/update/patches #53

Triggered via push September 18, 2023 14:01
Status Success
Total duration 1m 15s
Artifacts
Submit dependencies to GitHub
1m 4s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in