Change-Id: Ic1c1d54a9577c1774024aefd5464b6e4b8e1fe07 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30570 Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de> Reviewed-by: Alexander Zaft <a.zaft@fz-juelich.de> Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
debian/ is still missing, will follow in next commit. Fixes: #4626 Change-Id: Ia87c28c1c75b8402eedbfca47f888585a7881f44