]> git.plutz.net Git - clickslide/commitdiff
Merge branch 'master' of git.plutz.net:clickslide
authorPaul Hänsch <paul@plutz.net>
Tue, 18 Jun 2019 17:46:56 +0000 (19:46 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 18 Jun 2019 17:46:56 +0000 (19:46 +0200)

Trivial merge