tree 8bde18d734a760a0467d5c5b2f19b19f05db72c5
parent 19c6c358875209350c1b9eda87e027236d161676
author Akron <nils@diewald-online.de> 1596447540 +0200
committer Peter Harders <harders@ids-mannheim.de> 1600769270 +0200

Minor cleanup

Change-Id: I407b718f810a9cb4fe794e6288d9ee6c9130c618