Skip to content

Feature error

Giuseppe Giaquintorequested to merge
feature_error into develop

[#24] WIP: temporary fix for error handling in device code

Merge request reports