tree 8be4636eee0212ef7561427c4dce95f568a59347
parent 8aeb8434d64f1f501b3f5590747c13bd3f379f3b
author Benno Schulenberg <bensberg@justemail.net> 1461410629 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1461410788 +0200

files: tweak the function tail() and rename two variables