Skip to content

Merge branch '3417-lima-directories-mapping-issue' into 'master'

Matias Guijarro requested to merge cherry-pick-32142ec8 into 1.10.x

Resolve "Lima directories mapping issue"

Closes #3417 (closed)

See merge request !4742 (merged)

(cherry picked from commit 32142ec8)

8bf82ae3 tests: add test for issue #3417 (closed) (directories mapping for Lima) 33eae468 fix issue #3417 (closed): Lima directories mapping

Merge request reports