]> git.plutz.net Git - serve0/commitdiff
Merge branch 'master' of plutz.net:serve0
authorPaul Hänsch <paul@plutz.net>
Thu, 10 Jun 2021 09:47:07 +0000 (11:47 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 10 Jun 2021 09:47:07 +0000 (11:47 +0200)

Trivial merge