Javi Martín 7783547419 Remove rest of unused variables ...

I haven't found an elegant way to remove them, but since they were the
only three variables left out of 383 we used to have, I can live with
this low percentage of inelegant solutions.

2019-09-30 15:47:13 +02:00

..

answers

Remove rest of unused variables

2019-09-30 15:47:13 +02:00