chiark / gitweb /
unit: fix the race in deserialization.