chiark / gitweb /
manager: don't garbage collect jobs when isolating, to change global state