Nobody had any comments, so I've pushed it to trunk now.
On Thu, 26 Sept 2024 at 13:57, Jonathan Wakely wrote:
>
> Does this rounding heuristic seem reasonable? I have discussed it with
> Howard and he agreed that rounding "2024-09-22 18:34:56" up to the next
> day, 2024-09-23, could be surprisin
Does this rounding heuristic seem reasonable? I have discussed it with
Howard and he agreed that rounding "2024-09-22 18:34:56" up to the next
day, 2024-09-23, could be surprising. But he convinced me that using
chrono::round was correct in general (certainly better than what we have
now using chro
