Fix lint errors merged while new lint branch was in PR#221
Merged
vdemeester merged 1 commit intodocker:masterfrom Jun 23, 2017
Merged
Fix lint errors merged while new lint branch was in PR#221vdemeester merged 1 commit intodocker:masterfrom
vdemeester merged 1 commit intodocker:masterfrom