Merge remote-tracking branch 'origin/github/pr/17'
authorMichael Prokop <mika@grml.org>
Fri, 8 Sep 2023 06:36:55 +0000 (08:36 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 8 Sep 2023 06:36:55 +0000 (08:36 +0200)
commit5ecdddc4b63333b08c4f6b78f0f46e2eb8352dcd
treebefa2607974b1eea88d75de56b310e56d6b2d230
parent35b6ae0bceffa786cfe375c7b84383eb74ccf91e
parent98d3d0555d423da602ab941e04ffe2076455e86e
Merge remote-tracking branch 'origin/github/pr/17'