Skip to content
Snippets Groups Projects

[embedded] Make source stencil lookup slightly more efficient

Passed
Timo Koch created pipeline for commit 412989d4
, finished
Related merge request !2653 to merge feature/source-stencil-improvement
merge request
4 jobs