Commit 875f9f6f22451f1cc02782a8269f7e1e4bce0ca0

Behdad Esfahbod 2023-01-12T12:37:48

[subset-input] Use shared_ptr for sets