Commit 43938ecdc2b5cda45f9499f8c3360a0a3ac0842b

Behdad Esfahbod 2022-05-04T16:59:28

[subset] Remove outdated comment I tried something like that. It was slower because of the allocations.