• Fix linting errors resulting from the merge with develop

    IAmThePan committed May 12, 2020