]> git.dkaiser.de - 42/pipex.git/commitdiff
Merging dev into master
authorDominik Kaiser <141638109+dpu-kaiser@users.noreply.github.com>
Wed, 8 May 2024 11:05:37 +0000 (13:05 +0200)
committerGitHub <noreply@github.com>
Wed, 8 May 2024 11:05:37 +0000 (13:05 +0200)
This should be all.


Trivial merge