Merge branch 'missing-header' into 'master'

[fix] add dev headers to _SOURCES

See merge request !14
3 jobs for master in 1 minute and 24 seconds
latest
Status Job ID Name Coverage
  Quality
passed #76537
integration
repoquality

00:00:03

 
  Build
passed #76538
integration
excit

00:00:19

passed #76539
integration
excit-check

00:01:20