Merge remote-tracking branch 'origin/github/pr/15'
authorMichael Prokop <mika@grml.org>
Fri, 25 Nov 2022 08:48:34 +0000 (09:48 +0100)
committerMichael Prokop <mika@grml.org>
Fri, 25 Nov 2022 08:48:34 +0000 (09:48 +0100)
commit10fcde779a5ff842a841a1a86390f1b903e00139
tree0a356b62b342c8981472bac266da49495056e906
parentc1231da0db59f3cb545d9ef8e446a287b7618a3c
parent570d9599584feb8ff7ccc8a9abe346c356f62c45
Merge remote-tracking branch 'origin/github/pr/15'