Merge branch 'master' of https://git.unipi.technology/UniPi/unipi-kernel
authorMiroslav Ondra <ondra@faster.cz>
Tue, 16 Oct 2018 09:54:40 +0000 (11:54 +0200)
committerMiroslav Ondra <ondra@faster.cz>
Tue, 16 Oct 2018 09:54:40 +0000 (11:54 +0200)

Trivial merge