Merge pull request #817 from nico/warn
authorNico Weber <nicolasweber@gmx.de>
Thu, 18 Sep 2014 15:18:40 +0000 (08:18 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 18 Sep 2014 15:18:40 +0000 (08:18 -0700)
commit74f1dec00a8a4ce7dccb3b2f95a711925a9b830f
tree8961a77071a55b517477ca3018c3d516320c0a1f
parenta8b23a4d93b110511f4eb02ec55b8023762bc498
parentd13eb33fc3e6eedefd0840ed19dc85901fba0d4b
Merge pull request #817 from nico/warn

fix warning