Skip to content

Task configuration building blocks (#508)

Enrico Zini requested to merge task-config into devel

This is the noncontroversial part of !1597 (closed), which can be reviewed separately while I rework the rest of the MR

Merge request reports