chiark / gitweb /
core/manager: remove infinite loop