Skip to content
Commit 332378fb authored by Jan Kiene's avatar Jan Kiene
Browse files

also port part that got obsolete due to fix for float issue 1058 

just for completeness and reference
parent a13a0855