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

Merge branch '1615_basop-port-mr-1413-from-float' into 'main-pc' 

Port float MR 1413 to BASOP

See merge request !1634
parents 020a8d61 3921fa88
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