Enrico Faulhaber e19f7a8c25 minor fixups
Change-Id: I038a962a128c12b81bad6d228e3c1a086c7db719
Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/21480
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
2019-10-29 16:29:41 +01:00
..
2019-10-29 16:29:41 +01:00