Commit 4e618557a67f6ce49f93d5c10686500628bede30

Behdad Esfahbod 2022-11-13T17:23:25

[vector] Don't subclass sorted vector from unsorted Was doubling the size unnecessarily.