chiark / gitweb /
scope: don't require an initialized PIDs set when deserializing