Skip to content

Revert "Fix optimization record path handling in primary file compilation mode"#2041

Merged
rjmansfield merged 1 commit intomainfrom
revert-1997-fix-save-opt-record-path
Dec 10, 2025
Merged

Revert "Fix optimization record path handling in primary file compilation mode"#2041
rjmansfield merged 1 commit intomainfrom
revert-1997-fix-save-opt-record-path