fabian pushed to master at fabian/sync

fabian
2026-02-01T17:11:25+01:00

8a26bd37d2793e7e2331fda80c043d718125d1f7 avoid ConcurrentModificationException-esque error by saving directory names beforehand