Skip to content
Commit 450d5b92 authored by multrus's avatar multrus
Browse files

Merge branch '1636_basop_port-mr-1502-from-float' into 'main' 

Port MR 1502 from float to BASOP

Closes #1636

See merge request !1676
parents 7f9d82ab b10becf1