tree 41a6bfe4492a00e3b626cb6815a5439bf3326318
parent 0a18d8912ba88d93e81d06d09eb1735067f38a3e
author Benno Schulenberg <bensberg@justemail.net> 1476292839 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1476292839 +0200

tweaks: elide an unneeded variable