[Nav-users] Re: Time format is changed in NAV 5.13