Re: Infinite Interval

[Dean Rasheed]

On Thu, 9 Nov 2023 at 12:49, Dean Rasheed <dean.a.rash...@gmail.com> wrote:
>
> OK, I have pushed 0001 and 0002. Here's the remaining (main) patch.
>

OK, I have now pushed the main patch.

Regards,
Dean