From: Paul Hänsch <paul@plutz.net>
Date: Mon, 28 Aug 2023 14:32:42 +0000 (+0200)
Subject: Merge commit 'fb04e54ec3eecd4420c0f65780bc1099c911373a'
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=c21abbf18a78baba5577ced295df1a5842baf0d8;hp=c21abbf18a78baba5577ced295df1a5842baf0d8;p=shellwiki

Merge commit 'fb04e54ec3eecd4420c0f65780bc1099c911373a'
---