> On Aug 13, 2024, at 6:35, Alexander Korotkov <[email protected]> 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
