Commit 6ef83c2c31b4355f2eeee7d241e2c6bb52f6d6b3

Behdad Esfahbod 2022-01-18T13:08:34

[vector] Remove .fini_deep()