tree 676c4ffab594aabd25da296f9531d6674a4e981b
parent 0d5c125d088bccc0572ee8a3038eea9cba351d73
author notstrom <jochen@tolot.escape.de> 1564667471 +0200
committer notstrom <jochen@tolot.escape.de> 1564667471 +0200

Fix check.