]> source.charles.plessy.org Git - source++/.git/commitdiff
Merge remote-tracking branch 'refs/remotes/origin/master'
authorCharles Plessy <plessy@debian.org>
Thu, 3 Mar 2022 12:21:32 +0000 (21:21 +0900)
committerCharles Plessy <plessy@debian.org>
Thu, 3 Mar 2022 12:21:32 +0000 (21:21 +0900)

Trivial merge