3 ms·Thanks :) We fixed a performance bug (re-seeding an RNG on each sort).by janwas 3y agoThanks :) We fixed a performance bug (re-seeding an RNG on each sort).