Commit 5f17dbc3025093308d2191a4abd2eec24db35c0e

Behdad Esfahbod 2018-09-07T10:24:22

[subset] Fix div-by-zero