]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #1 from Booklordofthedings/main 3874/head
authorJannis vH <Jannis.v.hagen@gmail.com>
Mon, 6 Dec 2021 20:20:59 +0000 (21:20 +0100)
committerGitHub <noreply@github.com>
Mon, 6 Dec 2021 20:20:59 +0000 (21:20 +0100)
Merge main branch into master branch


Trivial merge