[crux-commits] r871 - crux-2.2