Skip to content
Commit 654b594c authored by vaclav's avatar vaclav
Browse files

Merge branch '1857-basop-PortFlpMr1649' into 'main' 

Port MR1649 from float to BASOP

Closes #1857

See merge request !2059
parents bf9cac38 c128b9ce