Commit 85846b3de7491b6a07fed6a2c0c6c1b09943b249

Behdad Esfahbod 2015-09-01T15:07:52

Use insertion-sort instead of bubble-sort Needed for upcoming merge-clusters fix.