From: Martin Kudlacek <kudlacek@unipi.technology>
Date: Tue, 11 Feb 2020 15:41:11 +0000 (+0100)
Subject: Merge branch 'master' into test
X-Git-Url: http://git.graph-it.com/?a=commitdiff_plain;h=59e36e4e0c2d1f9a7a5fe10aabb3ed9af74bf163;p=graphit%2Funipi-kernel.git

Merge branch 'master' into test
---

59e36e4e0c2d1f9a7a5fe10aabb3ed9af74bf163