diff options
| author | Enrico Tassi | 2016-11-29 17:50:11 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-11-29 17:50:11 +0100 |
| commit | 3642314974b3aca6eb522c37e7e4efd226e6ebc8 (patch) | |
| tree | 8fab600f98483c1f74c2629b81dbd79ab5de7858 /dev/base_db | |
| parent | a27ac0315dcbb99c64a260bac3988199a26b39cf (diff) | |
STM: cur_id must be invalid if an error occurs (fix #5191)
Line erroneously removed in 17f3346c
Diffstat (limited to 'dev/base_db')
0 files changed, 0 insertions, 0 deletions