Skip to content
Snippets Groups Projects

[cleanup][sequential] Remove old sequential headers that made it past the last delete

Blocked
Timo Koch created pipeline for commit 3d24eb52
Related merge request !2787 to merge cleanup/remove-sequential
merge request
5 jobs