]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2074 from behrmann/zstdrename
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 17 Nov 2023 15:26:22 +0000 (16:26 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2023 15:26:22 +0000 (16:26 +0100)
Rename Compression.zst to Compression.zstd


Trivial merge