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