Merge generate-ninja (0.0~git20220811.0bcd37b-1) import into refs/heads/workingbranch
authorRicardo Ribalda Delgado <ricardo@ribalda.com>
Mon, 15 Aug 2022 07:56:34 +0000 (08:56 +0100)
committerRicardo Ribalda Delgado <ricardo@ribalda.com>
Mon, 15 Aug 2022 07:56:34 +0000 (08:56 +0100)

Trivial merge