## 6.1 Important Issues

- A severe bug in record unification that has been introduced in 1.2.0 is fixed.

- Fixed incorrect variable aliasing detection on Windows (resulted in weaker propagation, therefore in different and larger search trees).

- Many improvements in the Windows port, in particular for subprocesses, finally correctly enabling oztool and ozmake.

- Both domain- and bounds-consistent variants of the alldifferent constraint for finite domains are available.