Commit 8a9e5c40 authored by Guido Gunther's avatar Guido Gunther

build: Install new header file

Fixes: ac94e649
parent 1c685bc3
Pipeline #40621 passed with stages
in 9 minutes and 5 seconds