Skip to content

Backport dropping unwanted dependency on Gen/DecFiles to sim10-patches

Gloria Corti requested to merge cherry-pick-302440ff into sim10-patches

See merge request !3675 (merged)

(cherry picked from commit 302440ff)

4457bf8e Drop unwanted dependency on Gen/DecFiles

Merge request reports