[PATCH] Fix GPS coordinates rounding.

[Sergey Starosek]

On Sat, May 25, 2013 at 5:33 PM, Dirk Hohndel <dirk at hohndel.org> wrote:
>
> I had a different fix to that bug pushed last night which simply
> truncated the value, but rounding is of course the better answer. But if
> we round, shouldn't we use lrint() instead of rint() as we are assigning
> the result to an integer value?

I've actually copied it from gps_changed() in info.c. But yes,
probably lrint() is better.

Sergey