Minor cleanup.

This commit is contained in:
NissimHadar 2018-10-25 13:36:15 -07:00
parent 14216bdeca
commit 028d1cf237