From 8291976c5dccdd8f0c51384eb29a8638b01d8808 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Mon, 27 Oct 2025 11:23:59 +0100 Subject: [PATCH] frappy.modulebase: remove unneeded while loop Change-Id: I76cf2d5323187972a1c8849f6b8dc98f99f21f90 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/37699 Tested-by: Jenkins Automated Tests Reviewed-by: Markus Zolliker Reviewed-by: Enrico Faulhaber Reviewed-by: Georg Brandl