chiark / gitweb /
manager: merge serialization and desrialization counter into one, and increase it...