Skip to content
Commit 7e9a5647 authored by vaclav's avatar vaclav
Browse files

Merge branch '1953-basop-PortFlpMr2029' into 'main' 

Port MR2029 from float to BASOP

Closes #1953

See merge request !2147
parents f735028f e67c0075