another lint change

This commit is contained in:
DBHeise 2019-01-14 10:32:14 -05:00
parent 5b856691e6
commit 90e7a9350d