Merge #8590: Remove unused variables
commit12892dbb9fb6d6f46505d7b9caf8ae6905601c7f
authorWladimir J. van der Laan <laanwj@gmail.com>
Fri, 26 Aug 2016 11:23:57 +0000 (26 13:23 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Fri, 26 Aug 2016 11:24:12 +0000 (26 13:24 +0200)
treeab45b4993516c16e963964d2e6a91e24d10f5ce6
parent65837375d98b3e9949d15dc05e66e6356eada283
parentfa6dc9f0e5eac8ec473b63adfd43635005778f46
Merge #8590: Remove unused variables

fa6dc9f Remove unused variables (MarcoFalke)