Commit f8cb9d8b28048c76a3a8dd724d28a6ecd130d835

Guillem Jover 2024-02-20T03:57:37

build: Remove space before shell redirection This makes it more clear what the redirection applies to.