Stavros Korokithakis pushed to project branch master at Stavros Korokithakis / Do not be alarmed

Stavros Korokithakis
2020-10-16T15:17:28Z

Stavros Korokithakis (4562bef2) at 16 Oct 15:17

Fix build script