Merge main into v7.1 (excluding extracted-files)#712

Open

dthaler wants to merge 1 commit intov7.1from

merge-main-into-v7.1

Commits on Nov 23, 2025

Merge main into v7.1 (excluding extracted-files)
dthaler
committed