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)
commitd588cd1a5720a91f70e003f93f973df51e84d27b
tree80e7881f3df87e1497621f9864d527e96bf6fc20
parent282c84cc5f07d428bb9f98449b6c7f45665e3ce6
parent11aef21231b124aacc1a2a1abafc8d194e2e62ee
Merge branch 'master' of git.unipi.technology:UniPi/unipi-kernel