• Merge with develop. Fix resulting linting errors

    IAmThePan committed May 26, 2020