diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-10-17 11:31:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-10-17 11:31:22 -0400 |
| commit | ad45a5b1ad463c54d5196428d55b0080a53f19bc (patch) | |
| tree | 978c676b71a7cb039109825de7230198697b9adb /CHANGELOG | |
| parent | fd90892fdc15fda4ac8bd4ce931b4b500ff92a1c (diff) | |
Database-server reconnection for MySQL
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions