chiark / gitweb /
Merge branch 'fix' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Jun 2017 19:26:04 +0000 (19:26 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Jun 2017 19:26:04 +0000 (19:26 +0000)
fix #320 due to unintentionally reusing the same variable name

Closes #320

See merge request !286


Trivial merge