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

Trivial merge