On 19.11.25 11:32, Chao Li wrote:
On Wed, Nov 19, 2025 at 5:36 PM Peter Eisentraut <[email protected]
<mailto:[email protected]>> 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().
