log

age author description
Thu, 02 Apr 2009 13:31:13 -0400 Adam Chlipala Detect serialization failures
Thu, 02 Apr 2009 11:42:26 -0400 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels