On Wed, 2023-02-01 at 20:13 +0100, IOhannes m zmölnig wrote: > Am 1. Februar 2023 01:30:10 MEZ schrieb Dan Jacobson > <jidanni@jidanni.org>: > > So he must do Google Search. > > Do you think this problem only affects make users? I would expect at least ninja-build users to be affected as well unless they use a VM. Ansgar