On Fri, 2020-04-17 at 19:38 +0300, Chirana Gheorghita Eugeniu Theodor wrote: > I also observe something weird on both Android and apple. Some dives > are delimited by a line in the main divelist, others not. See also > attached screenshot. > Yes - a weird rounding error. I need to ensure that all of the heights are integers... /D