Fix #10 (closed)
Pipeline #1181 failed
Pipeline failed for fcd05d6c on fix_open_contract_crash
Pipeline #1184 passed
Pipeline passed for 543121d8 on master
Status changed to merged
mentioned in commit 543121d8