tree 9d093905a3dc3256cd07d1bc80fe7174595c1f81
parent 3c19d4fadd30475fe58961a3bce52f867cca192e
author notstrom <jochen@tolot.escape.de> 1543592775 +0100
committer notstrom <jochen@tolot.escape.de> 1543592775 +0100

Fix check.

Change-Id: I1a5589e7a3645e70f186724cfda7810388e0763a