fix flake #4

Merged
vinzenz merged 1 commit from fix-flake into main 2025-05-10 10:33:21 +02:00