diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-10-31 19:21:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-10-31 19:21:05 -0400 |
| commit | 0746eb28c54cb2ba778150e9fd8d0c399f7dcd14 (patch) | |
| tree | d4dc62179d1464d3b6b7825f92719d6f8be7ae7a /include | |
| parent | b22998fc7c7984e35e3465ea4f66579523e85e0d (diff) | |
Remove spurious failure about reopening database connection
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions