tree 53f51b6168e9cd3f4fb2085b542ee6e7993fdc4b
parent a0cdbddebd2b4e614f360b2220f32055d1afe7dd
author Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> 1462710864 +0200
committer Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> 1462710864 +0200

Allow tip to fail on Travis