tree 6c846755dc1df642e9830a7e68d05d2474d3de1c
parent 9fa95a3680933e1706392508a43f2d839c1831d8
author Benno Schulenberg <bensberg@justemail.net> 1481804146 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1481804146 +0100

tweaks: use a slightly faster comparison