Re: [ANN] CRUX 3.2 Released!