On 2022-12-11, Jaikiran Pai wrote:
> On 26/11/22 11:33 pm, Stefan Bodewig wrote:
>> On 2022-11-19, Stefan Bodewig wrote:
>> Finding A solution was a nice puzzle, but that doesn't mean we have to
>> use it.
> I had a look at that commit and the PR discussion where the initial
> fix was made. I don't have enough knowledge of this area to provide
> relevant inputs, but from what you have explained here and in the PR
> and looking at the code it looks fine to me. You (and the original
> contributor) note that there are still issues that this change won't
> solve, but I think that is OK for now. I say that because the current
> state/fix addresses an actual issue that was reported[1].
Yes, I'm fine with keeping the code the way it is in master right now.
Thanks
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org
