Merge pull request #6907 from ivaradi/optimize_debian_build
authorClaudio Cambra <claudio.cambra@nextcloud.com>
Thu, 11 Jul 2024 17:02:59 +0000 (01:02 +0800)
committerGitHub <noreply@github.com>
Thu, 11 Jul 2024 17:02:59 +0000 (01:02 +0800)
Optimize Ubuntu/Debian build


Trivial merge