Skip to content

Add missing dependency on Boost headers

Marco Clemencic requested to merge fix-superproject-build into master

This dependency is needed to be able to build DaVinci as part of a super project.

Merge request reports