
Fixes: #4864 Related: #4866 Change-Id: I393a35784766c0e09367a90debfc8b59b290626e Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/33672 Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de> Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>