]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #3936 from yangshun/patch-1
authorBrian Douglas <bdougie@users.noreply.github.com>
Sat, 8 Jan 2022 04:57:27 +0000 (20:57 -0800)
committerGitHub <noreply@github.com>
Sat, 8 Jan 2022 04:57:27 +0000 (20:57 -0800)

Trivial merge