chiark / gitweb /
Stop sessions on ReleaseSession