git.graph-it.com / graphit / unipi-kernel.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 282c84c 11aef21)
Merge branch 'master' of git.unipi.technology:UniPi/unipi-kernel
authorMiroslav Ondra <ondra@faster.cz>
Thu, 3 Oct 2019 21:38:50 +0000 (23:38 +0200)
committerMiroslav Ondra <ondra@faster.cz>
Thu, 3 Oct 2019 21:38:50 +0000 (23:38 +0200)

Trivial merge