]> git.plutz.net Git - vhs_kurs/commitdiff
Merge branch 'master' of git.plutz.net:vhs_kurs
authorPaul Hänsch <paul@plutz.net>
Wed, 24 Apr 2019 18:35:38 +0000 (20:35 +0200)
committerPaul Hänsch <paul@plutz.net>
Wed, 24 Apr 2019 18:35:38 +0000 (20:35 +0200)

Trivial merge