> On Aug 13, 2024, at 6:35, Alexander Korotkov <aekorotkov@gmail.com> wrote:.
>
> As pointed by Noah Misch [1], unlike the commit the patch [2] also
> changed segment-returning functions to return int64. Thus, in the
> patch output formats make much more sense, because they match the
> input data types. Michael, are you intended to push the remaining
> part of the patch [2]?
Guess so. I could look at that next week, not before.
--
Michael