git.graph-it.com / graphit / unipi-kernel.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c81e128 2b7deea)
Merge branch 'master' of git.unipi.technology:UniPi/unipi-kernel
authorMiroslav Ondra <ondra@faster.cz>
Thu, 22 Aug 2019 18:29:42 +0000 (20:29 +0200)
committerMiroslav Ondra <ondra@faster.cz>
Thu, 22 Aug 2019 18:29:42 +0000 (20:29 +0200)

Trivial merge