tree b56beee87b33dcd5efa941643d9c16dedc93e396
parent 22f99b5f076602c58015ead977aa87af40a0c54e
author notstrom <jochen@tolot.escape.de> 1544881072 +0100
committer notstrom <jochen@tolot.escape.de> 1544881072 +0100

Fix type.

Change-Id: I3b12a07578fa1ab4422f345c3dab2482228965aa