Skip to content
Commit 7f594642 authored by multrus's avatar multrus
Browse files

Merge branch '1648_basop_portMR1585' into 'main' 

Port Float MR1585 to main

Closes #1648

See merge request !2032
parents dabd7144 aa585e13