extras: tools: update ninja to 1.12.1
Related merge request !6937 to merge update-ninja
merge request
21 jobs
64 minutes 50 seconds, queued for 6 seconds
VideoLAN code repository instance