-
Lionel Seinturier authored
Issue: there is a source of non determinism in the ultra-merge optimization level source code generator with collection interfaces. This leads to different results under Hudson and my computer (issue already encountered before but unsolved.) I'm reinstalling the version which succeeds under Hudson.
a48c0540