Skip to content
Commit aa84cdfe authored by Dominik Weckbecker's avatar Dominik Weckbecker 💬
Browse files

Merge branch '1631_basop-port-mr-1498-from-float' into 'main' 

Port MR 1498 from float to BASOP

Closes #1631

See merge request !1663
parents 2cf52e95 51c0a512