| commit | f7515769fd024faca888a47c58f87fb868b0e760 | [log] [tgz] |
|---|---|---|
| author | Behdad Esfahbod <behdad@behdad.org> | Fri Jun 01 17:48:37 2018 -0700 |
| committer | Behdad Esfahbod <behdad@behdad.org> | Fri Jun 01 17:48:37 2018 -0700 |
| tree | bf722d0acc94320d7e92d87b7e67fc69a22c42e9 | |
| parent | 975bdd5ef562e37655067b703b2b9ca7481f4985 [diff] |
[vector] Use Crap pool in push() as well