Merge generate-ninja (0.0~git20220314.bd99dbf-1) import into refs/heads/workingbranch
authorRicardo Ribalda Delgado <ricardo@ribalda.com>
Mon, 21 Mar 2022 06:51:44 +0000 (06:51 +0000)
committerRicardo Ribalda Delgado <ricardo@ribalda.com>
Mon, 21 Mar 2022 06:51:44 +0000 (06:51 +0000)

Trivial merge