Skip to content
Commit 943fbecb authored by vaclav's avatar vaclav
Browse files

Merge branch '1924-basop-PortDFlpMr1899' into 'main' 

[non-be] [allow-regression] Port MR1899 from float to BASOP

Closes #1924

See merge request !2110
parents 667c5e04 5972205a