• Silence an 'unused' warning

    @SimonSapin
    SimonSapin committed May 4, 2018
    3bcf64b