diff options
| author | Dan Gudmundsson <[email protected]> | 2016-10-24 13:02:37 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-10-24 13:02:37 +0200 |
| commit | f66073c2960a4b072e18c4e1dfed143b94cd60c6 (patch) | |
| tree | a852fc1a088636d6c006522c6d8a63d509917c00 /lib/public_key/.gitignore | |
| parent | b74f73a4d2863b40c6076d7c097ca7f10522d793 (diff) | |
| parent | f8c047bb96eff53e5ddaff3d1a00d6a85a990bf3 (diff) | |
| download | otp-f66073c2960a4b072e18c4e1dfed143b94cd60c6.tar.gz otp-f66073c2960a4b072e18c4e1dfed143b94cd60c6.tar.bz2 otp-f66073c2960a4b072e18c4e1dfed143b94cd60c6.zip | |
Merge branch 'dgud/mnesia/fix-blocked/OTP-13970' into maint
* dgud/mnesia/fix-blocked/OTP-13970:
Avoid some error reports when stopping mnesia
mnesia: Fix double blocked tables which could cause a crash
Diffstat (limited to 'lib/public_key/.gitignore')
0 files changed, 0 insertions, 0 deletions