Skip to content
Commit 41953b39 authored by vaclav's avatar vaclav
Browse files

Merge branch '2229-port-mr2290-from-float-cleanup-20251014' into 'main' 

Port MR2290 from float - Cleanup 20251014

Closes #2229

See merge request !2594
parents e0be88e0 64f263be