Minor cleanup.

This commit is contained in:
NissimHadar 2018-11-26 18:10:41 -08:00
parent 5da6ecad12
commit aed947cb0a