Fix FPE#3878

Merged

marinofaggiana merged 13 commits intomasterfrom

Nov 18, 2025

Commits on Nov 14, 2025

fix
marinofaggiana
committed
fix
marinofaggiana
committed

Commits on Nov 15, 2025

Commits on Nov 16, 2025

fix
marinofaggiana
committed
fix
marinofaggiana
committed

Commits on Nov 17, 2025

Commits on Nov 18, 2025

Merge remote-tracking branch 'origin/master' into general-fix
marinofaggiana
committed