Merge branch '386-libstd-bugs-in-std-append_path-and-std-prepend_path' into '1.1.22' (!413) · 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-e0841bce into master Feb 04, 2025

Resolve "libstd: bugs in std::append_path() and std::prepend_path()"

See merge request !412 (merged)

(cherry picked from commit e0841bce)

a3ee63cf libstd (#386 (closed)): bugfixes in std::append_path(), std::prepend_path()

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