On 19.11.25 11:32, Chao Li wrote:
> On Wed, Nov 19, 2025 at 5:36 PM Peter Eisentraut <peter(at)eisentraut(dot)org
> <mailto:peter(at)eisentraut(dot)org>> wrote:
>
>
>
> In a couple of cases, you are changing the type of the loop variable
> from Size to int. I would not expect such a change in a patch of this
> nature. If you have a reason to change it, please explain it (but I
> doubt the change is correct).
>
>
> That was a mistake. I fixed it in v3.
Still not correct in outDatum().