Skip to content
Commit 6835cac6 authored by vaclav's avatar vaclav
Browse files

Merge branch '1899-basop-PortFlpMr1645' into 'main' 

Port MR1645 from float to BASOP

Closes #1899

See merge request !2084
parents 35fdd7ae 92020e9b