Skip to content
Commit 1c1ac790 authored by vaclav's avatar vaclav
Browse files

Merge branch '1957-basop-PortFlpMr2106' into 'main' 

Port MR2106 from float to BASOP

Closes #1957

See merge request !2152
parents 69a83006 216fae66