Signed-off-by: Jan-Tarek Butt tarek@ring0.de
enabled an automatic merge when the pipeline for 14618b41 succeeds
mentioned in commit f816d3b8
merged