Created attachment 211121 [details]
kde@ would like to ask for an exp-run to upgrade devel/ninja to 1.10.0.
The patch is attached and can also be found here:
Exp-run looks fine
Thanks for the epx-run.
A commit references this bug:
Date: Mon Feb 3 15:05:58 UTC 2020
New revision: 525042
devel/ninja: update to 1.10.0
Exp-run by: antoine