fix unused parameter warning #8

Closed
wants to merge 1 commit into
from

Projects

None yet

2 participants

@faithandbrave

No description provided.

@swatanabe
Collaborator

I fixed this and several other warnings as well in 98f02be.

@swatanabe swatanabe closed this Feb 26, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment