diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-23 15:59:17 +0000 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-23 15:59:17 +0000 |
commit | 76b26fec5a3b521a084491d77d6c9e1e28ab603c (patch) | |
tree | 710b0b096b788b1fb51c6222c97cc30632f0f964 /src/specialize.sml | |
parent | b04455ed08e613b7a5b0491894ba688508546c13 (diff) |
Proper handling of serialization failures during SQL COMMIT
Diffstat (limited to 'src/specialize.sml')
0 files changed, 0 insertions, 0 deletions