Created attachment 217459 [details]
kde@ would like to ask for an exp-run to upgrade devel/ninja to 1.10.1.
The patch is attached, and can also be found here:
Exp-run looks fine
Thanks for the exp-run.
A commit references this bug:
Date: Sat Aug 29 19:20:18 UTC 2020
New revision: 546938
devel/ninja: upate to 1.10.1
Exp-run by: antoine