tree 3adb1f5c5554ba150ea670cabf7ea7d917cb2901
parent 975e5758592bc99a7141d987ca987432e767e713
author Jan Kundrát <jan.kundrat@cesnet.cz> 1519994411 +0100
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1519997380 +0100

Building via the CI

Change-Id: Icf5840a020b76ccfa2cf2c7e759b4355abfac4fa