Mercurial > urweb
log
age | author | description |
---|---|---|
Thu, 02 Apr 2009 13:48:59 -0400 | Adam Chlipala | Make sure only one pull request runs at a time for each client |
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 |