Fix witness_set_properties

Close #8 (closed)

Merge request reports

Loading