Skip to content

Merge pull request #522 from trilitech/rename-delete-to-remove #370

Merge pull request #522 from trilitech/rename-delete-to-remove

Merge pull request #522 from trilitech/rename-delete-to-remove #370

Triggered via push October 25, 2023 07:08
Status Success
Total duration 3m 18s
Artifacts
Fit to window
Zoom out
Zoom in