Commit ee8d5826 authored by Tapani Pihlajakuja's avatar Tapani Pihlajakuja
Browse files

Port changes from float MR 2417.

parent 41953b39