From: Paul Meyer <49727155+katexochen@users.noreply.github.com>
Date: Thu, 9 May 2024 06:21:57 +0000 (+0200)
Subject: Merge branch 'github:main' into main
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=refs%2Fpull%2F4081%2Fhead;p=gitignore.git

Merge branch 'github:main' into main
---

d9b235245a9a6e2f99fc8d4cd8e7496b7943e3f7