Skip to content

Send configured_task_data instead of task_data to workers (#508)

Enrico Zini requested to merge workers-task-data into devel

Merge request reports

Loading