]> git.plutz.net Git - bootimage/commitdiff
Merge branch 'master' of git.plutz.net:bootimage
authorPaul Hänsch <paul@plutz.net>
Tue, 3 Jul 2018 13:27:56 +0000 (15:27 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 3 Jul 2018 13:27:56 +0000 (15:27 +0200)

Trivial merge