jenz 1139fd89d0 improved the check and tells how many people still are needed for self extend		2026-07-04 16:54:07 +02:00
..
scripting	improved the check and tells how many people still are needed for self extend	2026-07-04 16:54:07 +02:00