After some time using redsea, I noticed date/time has been wrongly converted. I assume the 17 bits used for day code are turned separately into JSON from the hours/offset ones, giving jumps back to start/end of day.
Following file illustrates the issue, it is playable without any edit in RDS spy, what follows @ is redsea's output.
After some time using redsea, I noticed date/time has been wrongly converted. I assume the 17 bits used for day code are turned separately into JSON from the hours/offset ones, giving jumps back to start/end of day.
Following file illustrates the issue, it is playable without any edit in RDS spy, what follows
@
is redsea's output.redsea 0.20, compiled from d0c1b2dd86e0eada94bc4b29cffb633ac33aac55