From: Paul Hänsch <paul@plutz.net>
Date: Thu, 18 May 2023 12:05:58 +0000 (+0200)
Subject: Merge commit 'ef47a42e878d7668aadeb1e14d9cb031303e92a3'
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=68261c373aa3e692cff9988f9d021aa0fa1783b6;p=shellwiki

Merge commit 'ef47a42e878d7668aadeb1e14d9cb031303e92a3'
---

68261c373aa3e692cff9988f9d021aa0fa1783b6