diff options
| author | Evgeny Khramtsov <xramtsov@gmail.com> | 2017-07-17 17:56:39 +0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-17 17:56:39 +0400 |
| commit | 1bb9e83501ab166b6446c19483ca2f6a5ce4db69 (patch) | |
| tree | a7656f91082bf1c76cfa12a38fe57a3acbe2efdb /src/node_mb_sql.erl | |
| parent | Expand catch block used to report errors in doc generator (diff) | |
| parent | Fix old route record in mnesia's route table haven't been remove when restart... (diff) | |
Merge pull request #1871 from rstgroup/master
Fix old route record in mnesia's route table haven't been remove when restarting in some cases (#1184)
Diffstat (limited to 'src/node_mb_sql.erl')
0 files changed, 0 insertions, 0 deletions