Commit 32866a331e49da465812f329d494bb8612dc14db

Behdad Esfahbod 2023-01-12T13:02:30

[subset-input] Simplify destruction