From: Paul Hänsch <paul@plutz.net>
Date: Sat, 23 Sep 2023 19:32:58 +0000 (+0200)
Subject: Merge commit '93889092574b7deb38da16f67bd5e3d744a94b86'
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=77277d37a63dd39f767cc7bbf5934a8381a0dd3c;hp=77277d37a63dd39f767cc7bbf5934a8381a0dd3c;p=shellwiki

Merge commit '93889092574b7deb38da16f67bd5e3d744a94b86'
---