Revert "Update make.sh version 3.9.3"
Canceled
Pavel Vondruška
created pipeline for commit 43f82462
, finished
1 related merge request: !1 Revert "Update make.sh version 3.9.3"
3 minutes 53 seconds, queued for 2 seconds