Merge branch '361-build-system-bug-in-loading-used-overlays' into 'master' (!370) · Merge requests · Pmodules / src · GitLab

Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.

gsell requested to merge cherry-pick-afdaa632 into 1.1.22 Sep 20, 2024

Resolve "build-system: bug in loading used overlays"

Closes #361 (closed)

See merge request !369 (merged)

(cherry picked from commit afdaa632)

e8f38df1 build-system: bugfix if 'use_overlays' is empty

Co-authored-by: gsell achim.gsell@psi.ch