diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-10 15:34:18 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-10 15:34:18 -0500 |
| commit | ddfac6ea0b6e396268f4d4288888445c521cbf9d (patch) | |
| tree | 7ee6531ed431e89ace88b1024a2c893c91adbe0c /src/prepare.sml | |
| parent | 648556747082ff05d6f252ca251ad68cbf19c329 (diff) | |
Properly handle case where an RPC changes signed cookie state
Diffstat (limited to 'src/prepare.sml')
0 files changed, 0 insertions, 0 deletions