tree 5efb236eae2fc58c5b9b3ee68876e94a2cf9a003
parent 1cb6619d6acdf72a634686b6e39cabfa9b9c3361
author Benno Schulenberg <bensberg@justemail.net> 1482224633 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1482224633 +0100

tweaks: use a faster comparison