Commit 49c44b58f6c2536ea5f403c54a40cab41b905150

Behdad Esfahbod 2018-09-03T16:37:17

[subset] Fix serialize_subset() calls Ouch.