]> source.charles.plessy.org Git - setup/.git/commitdiff
Merge remote-tracking branch 'refs/remotes/origin/master'
authorCharles Plessy <plessy@debian.org>
Thu, 24 Feb 2022 13:09:53 +0000 (22:09 +0900)
committerCharles Plessy <plessy@debian.org>
Thu, 24 Feb 2022 13:09:53 +0000 (22:09 +0900)

Trivial merge