Commit 9dbbfd3c authored by fotopoulou's avatar fotopoulou
Browse files

port fix from MR 2395 from float

parent 1631130d