This was an actual bug: Sorter.rotate could be called even when one of the two adjacent slices to rotate is empty, which is bad since it potentially performs lots of copies/swaps while there is nothing to do.
I committed a fix. -- Adrien --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
