Build system update following header split
Passed
Sébastien Villemot
created pipeline for commit
5a0c6ad2
, finished
For master
4 minutes 25 seconds, queued for 13 seconds