diff options
| author | Enrico Tassi | 2015-06-09 10:49:02 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-06-09 13:24:38 +0200 |
| commit | a7a1ec22bc2aa06cc419f7012863656c3aec5871 (patch) | |
| tree | 22647397eb7e4965f58757820ded8562a66a9eac /lib/errors.ml | |
| parent | 0736befd45671875d4c9761fc42f38766a14493b (diff) | |
STM: silly mistake in jumping back to an old state (Close #4249)
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions