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

Merge branch '1927-basop-PortFlpMr2037' into 'main' 

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

Closes #1927

See merge request !2117
parents 99ffa8ac 176c72cf
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment