tree 97c40fe7d69a9d1a37b5225dc0d2ed82c2483274
parent 03148804e6d0ddc7122e862ece24a21bf005b7f2
author Benno Schulenberg <bensberg@justemail.net> 1487003318 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1487011611 +0100

tweaks: reshuffle an assignment and trim some comments