Skip to content

Check that op is not NULL before making any action on it when

Andrea Gianarda requested to merge fix/terminate_event_with_null_op into master

Merge request reports