Changes

Changeset 70503:f0b2635ee17f by wenzelm:
record sort constraints unconditionally: minimal performance implications;