Commit 6cbe5c57 authored by Brice Videau's avatar Brice Videau
Browse files

Merge branch 'missing-header' into 'master'

[fix] add dev headers to _SOURCES

See merge request !14
parents c586cb40 03c9d3e2
Pipeline #11494 passed with stages
in 1 minute and 24 seconds