Commit b0debc32f6cedfa76a4851aa391f88ed1860955d

Behdad Esfahbod 2019-06-19T18:42:39

[subset] Simplify collect_name_ids