Commit bf5088b3dcd94106937290c180f3f40bc8524b48

Ebrahim Byagowi 2018-10-02T11:07:06

Minor, fix -Weverthing bot warnings (#1210)