tree 2d7db82de3a988535febf90a4e333c8316fe0137
parent c19f0c732ef060e7e686303bc1f4d434b33d00c6
author Benno Schulenberg <bensberg@justemail.net> 1472285525 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1472292618 +0200

tweaks: rename three variables