tree 420672d97274d6bf8a202718307db5921d1277e4
parent d3429a7a573c832ec2e6dc7731ba6cd2c6fa196e
author Benno Schulenberg <bensberg@justemail.net> 1483279491 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1483279599 +0100

tweaks: slightly condense a function and its comment