Commit 194140d3f352b53b95757cccb7fff50425747cd6

Behdad Esfahbod 2018-02-08T16:27:57

[util] Minor