]> source.dussan.org Git - gitignore.git/commitdiff
Merge branch 'github:main' into main
authorJannis vH <Jannis.v.hagen@gmail.com>
Mon, 6 Dec 2021 20:05:48 +0000 (21:05 +0100)
committerGitHub <noreply@github.com>
Mon, 6 Dec 2021 20:05:48 +0000 (21:05 +0100)

Trivial merge