Merge branch '3417-lima-directories-mapping-issue' into 'master'
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