Skip to content

Merge pull request #17582 from rrotter/desc_search #1647

Merge pull request #17582 from rrotter/desc_search

Merge pull request #17582 from rrotter/desc_search #1647

Triggered via push July 1, 2024 07:45
Status Success
Total duration 55s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

3 errors
updates
No changes to list of sponsors.
updates
No changes to list of maintainers.
updates
No changes to manpage or completions.