Skip to content

[core] fix up saving TEnv to custom user directory #22783

Open
jblomer wants to merge 2 commits into
root-project:masterfrom
jblomer:core-fix-tenv
Open

[core] fix up saving TEnv to custom user directory #22783
jblomer wants to merge 2 commits into
root-project:masterfrom
jblomer:core-fix-tenv

Conversation

@jblomer

@jblomer jblomer commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

Fixup of #22413

Should be backported to v6.40

jblomer added 2 commits July 10, 2026 09:49
The previous fix for this made incorrect use of the PrependPathName()
API. Fixing.
@github-actions

Copy link
Copy Markdown

Test Results

    23 files      23 suites   3d 16h 24m 23s ⏱️
 3 871 tests  3 871 ✅ 0 💤 0 ❌
79 675 runs  79 675 ✅ 0 💤 0 ❌

Results for commit 8801173.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant