"README.md" did not exist on "efece12cfee5c1a05d6b75fec519f744e9900faa"
Merge branch 'devel' into 'master'
Passed
Rajmund Hruška
created pipeline for commit ba94a996
, finished
For master
1 minute 31 seconds, queued for 0 seconds