From: Paul Hänsch <paul@plutz.net>
Date: Tue, 29 Aug 2023 22:21:47 +0000 (+0200)
Subject: Merge commit 'a7e74b2735ecaae6ef235cb0c4e54bc187d3fa16'
X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=225fc80e7ea2ba2da28ff7c67859b588338f5494;hp=225fc80e7ea2ba2da28ff7c67859b588338f5494;p=shellwiki

Merge commit 'a7e74b2735ecaae6ef235cb0c4e54bc187d3fa16'
---