devel/ninja: update to 1.7.2
Release notes:
https://groups.google.com/forum/#!topic/ninja-build/8xAhNiDaczw/discussion
PR: 213674 (patches proposed there were incorporated)
Submitted by: gahr
Description
Description
Details
Details
- Provenance
gahr Authored on - Parents
- rP425720: Mark as broken on arm64. While here, pet portlint.
- Branches
- Unknown
- Tags