@Gordon I can confirm that after a reboot I got the gps time again. Maybe it was due to the firmware upgrade that it lost the time.
I did not install default apps or so after the firmware update. Will do so later today and report back.
Meanwhile, I'm still curious whether my original suggestion is sound (and whether you want a pull request for it).
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Humpelstilzchen I think gps time does this?
@Gordon I can confirm that after a reboot I got the gps time again. Maybe it was due to the firmware upgrade that it lost the time.
I did not install default apps or so after the firmware update. Will do so later today and report back.
Meanwhile, I'm still curious whether my original suggestion is sound (and whether you want a pull request for it).