diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-11-17 15:33:31 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-11-17 15:33:31 +0100 |
| commit | bb7c58921eb56d464ed2b8a3a6fbbed9c82919d8 (patch) | |
| tree | 2a65b69f5e8ce05cd7681607bd71a860d412c827 /doc/logos/fonts | |
| parent | f8eb77927f41d31fb1d9049b81ebb9d354726066 (diff) | |
if reserve history computation reveals database inconsistency, do not abort but return proper error code
Diffstat (limited to 'doc/logos/fonts')
0 files changed, 0 insertions, 0 deletions