Marco Ratto marco.ratto@jrc.ec.europa.eu writes:
a couple of weeks ago I committed a change to the optimizer n.5 which we decided not to cherry pick to 4.2 since it was not a debug and but an improvement. In fact, I think we could port it to 4.2 because I realized that in some cases it fixes a bug.
Are you talking about commit aac282d3711d96004e4adee9e6835b2f3dc55a08 ?
I will cherry-pick it to 4.2 if you confirm that it is the right commit.
Best,