Skip to content

Merge pull request #19 from DigiKlausur/fix_remove_pool #47

Merge pull request #19 from DigiKlausur/fix_remove_pool

Merge pull request #19 from DigiKlausur/fix_remove_pool #47

Annotations

1 warning

ruff

succeeded Oct 22, 2024 in 5s